On Thu, Sep 07, 2017 at 11:39:39PM +0100, Thomas wrote: > What I mean is, someone who's got that file within the checkout folder > automatically causes it to be checked in again, independent of what the > ignore-glob says.
You have to mark it as deleted. Then it will only be checked in (again), if someone actually adds it. Which normally honors the ignore-glob. Joerg _______________________________________________ fossil-users mailing list [email protected] http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
