view .hgignore @ 1654:a599a9429928

Implement 'grepcmd' setting (/grepcmd, /opts), which can be used to configure what BatMUD command is sent when GgrTF greps for things. The default is 'grep', of course.
author Matti Hamalainen <ccr@tnsp.org>
date Tue, 28 Sep 2021 02:11:30 +0300
parents 9afbf4ec05df
children
line wrap: on
line source

syntax: glob
ChangeLog
*~
*.orig
*.diff
logs/
docs/html/
docs/fop/
docs/*.eps
docs/manual.xml
docs/manual.pdf