diff options
| author | 6543 <6543@obermui.de> | 2020-09-02 18:57:08 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-02 12:57:08 -0400 |
| commit | 84eac6ed6c1b02a28c83cd2695aa470c4acf46e9 (patch) | |
| tree | 82a7122c06ed84fc808691d9d43480f2b983ce9e /options/gitignore/Coq | |
| parent | 3ecd030cd5aa7ded57438a5b9c1459faf237993f (diff) | |
| download | gitea-84eac6ed6c1b02a28c83cd2695aa470c4acf46e9.tar.gz gitea-84eac6ed6c1b02a28c83cd2695aa470c4acf46e9.zip | |
Add make targed generate-license & generate-gitignore + Update (#12682)
* Add make targed generate-license & generate-gitignore
* Update Gitignores & Licenses
Co-authored-by: techknowlogick <techknowlogick@gitea.io>
Diffstat (limited to 'options/gitignore/Coq')
| -rw-r--r-- | options/gitignore/Coq | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/options/gitignore/Coq b/options/gitignore/Coq index a3e2ac49dd..829ac44a1c 100644 --- a/options/gitignore/Coq +++ b/options/gitignore/Coq @@ -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 |