On 2017-09-08 09:48, Joerg Sonnenberger wrote:
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.
How do I mark a file as deleted?
_______________________________________________
fossil-users mailing list
[email protected]
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
