On Fri, Sep 08, 2017 at 02:49:16PM +0100, Thomas wrote: > 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 delete ... Joerg _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
