1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-03-17 20:28:03 +02:00

github: add note about file types

This commit is contained in:
Andrew Gallant 2021-06-01 06:26:13 -04:00
parent df83b8b444
commit 6e27649af1
No known key found for this signature in database
GPG Key ID: B2E3A4923F8B0D44

View File

@ -15,3 +15,6 @@ examples of how ripgrep would be used if your feature request were added.
If you're not sure what to write here, then try imagining what the ideal
documentation of your new feature would look like in ripgrep's man page. Then
try to write it.
If you're requesting the addition or change of default file types, please open
a PR. We can discuss it there if necessary.