[darcs-users] Re: arch is boring

David Roundy droundy at abridgegame.org
Thu Dec 4 12:52:49 UTC 2003


On Sat, Nov 29, 2003 at 09:10:32PM +1100, Tim Barbour wrote:
> ^{arch}$
> (^|/).arch-ids($|/)
[snip]
> Maybe:
> (^|/)\.[^/]+($|/)

Done.  And in general, anywhere ^ is used, it should be (^|/).
-- 
David Roundy
http://www.abridgegame.org




More information about the darcs-users mailing list