Icycoide/RSCC-Forge
1
0
Fork 0
forked from kevadesu/forgejo
Code Pull requests Activity

[skip ci] Updated licenses and gitignores

Browse source
This commit is contained in:
GiteaBot 2021-05-16 00:25:04 +00:00
parent 58646cab22
commit 41136db47e
19 changed files with 350 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
options/gitignore/Coq
View file

@ -10,6 +10,7 @@
*.glob
*.ml.d
*.ml4.d
*.mlg.d
*.mli.d
*.mllib.d
*.mlpack.d
@ -20,7 +21,7 @@
*.vo
*.vok
*.vos
.coq-native/
.coq-native
.csdp.cache
.lia.cache
.nia.cache
@ -31,6 +32,7 @@ lia.cache
nia.cache
nlia.cache
nra.cache
native_compute_profile_*.data
# generated timing files
*.timing.diff