[darcs-devel] [patch2127] append slashes to dirs before matching against boring regexps

Ben Franksen bugs at darcs.net
Sat Dec 19 17:25:52 UTC 2020


Ben Franksen <ben.franksen at online.de> added the comment:

...while a file of the same name is okay. Similarly, if we want to 
ignore a name, but only if it is a file, we can do so now by 
specifying ...filename$

__________________________________
Darcs bug tracker <bugs at darcs.net>
<http://bugs.darcs.net/patch2127>
__________________________________


More information about the darcs-devel mailing list