diff options
| author | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:33:25 +0000 |
|---|---|---|
| committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-03 18:33:25 +0000 |
| commit | c34b7ac31427861e066ea7f9fc7d964598aa4ed4 (patch) | |
| tree | d710ee18e639f0afa6da5349d83b3a21f7062a80 | |
| parent | e5561dc6431d76f13da99caf73b9cf2e8eda2bba (diff) | |
| download | biteq-c34b7ac31427861e066ea7f9fc7d964598aa4ed4.tar.gz biteq-c34b7ac31427861e066ea7f9fc7d964598aa4ed4.zip | |
Ignore generated Makefiles
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1 +1,2 @@ *~ +*.coq.all* |