tdsds.com/gitea
1
1
Fork 0
mirror of https://github.com/go-gitea/gitea synced 2025-08-07 01:58:19 +00:00
Code Releases Activity

Add make targed generate-license & generate-gitignore + Update (#12682)

Browse Source 
* Add make targed generate-license & generate-gitignore

* Update Gitignores & Licenses

Co-authored-by: techknowlogick <techknowlogick@gitea.io>
This commit is contained in:
6543
2020-09-02 18:57:08 +02:00
committed by GitHub
parent 3ecd030cd5
commit 84eac6ed6c
83 changed files with 8773 additions and 78 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
options/gitignore/Coq
View File

@@ -31,3 +31,13 @@ lia.cache
nia.cache
nlia.cache
nra.cache
# generated timing files
*.timing.diff
*.v.after-timing
*.v.before-timing
*.v.timing
time-of-build-after.log
time-of-build-before.log
time-of-build-both.log
time-of-build-pretty.log