Am 16.08.2015 um 19:11 schrieb Joe Mistachkin:
Chris Drexler wrote:
So what do you think? Is it OK to add or rather not?
I don't think they should be in ignore-glob, no. It would [normally]
prevent the "extras" command from seeing them and the "clean" command
from removing them.
I overlooked that those files would not get cleaned up either then :-(.
So it stays as it is.
Chris
--
https://github.com/ckolumbus
https://sourceforge.net/u/ckolumbus
_______________________________________________
fossil-dev mailing list
fossil-dev@mailinglists.sqlite.org
http://mailinglists.sqlite.org/cgi-bin/mailman/listinfo/fossil-dev
