mirror of
https://github.com/go-gitea/gitea
synced 2025-09-28 03:28:13 +00:00
complate list of gitignores and licenses
This commit is contained in:
3
conf/gitignore/Coq
Normal file
3
conf/gitignore/Coq
Normal file
@@ -0,0 +1,3 @@
|
||||
*.vo
|
||||
*.glob
|
||||
*.v.d
|
Reference in New Issue
Block a user