tdsds.com/gitea
1
1
Fork 0
mirror of https://github.com/go-gitea/gitea synced 2025-12-07 13:28:25 +00:00
Code Releases Activity
Files
b7263f31a5a0a4a0ac8fe92c83563d7b7dcf7423
gitea/conf/gitignore/Coq
T

4 lines
18 B
Plaintext
Raw Blame History

*.vo
*.glob
*.v.d
View Git Blame Copy Permalink