diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-02 12:15:09 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-04-02 12:15:09 -0400 |
| commit | 5bc5e17dc6981ef19ad213984929aed931d98651 (patch) | |
| tree | 630a07e8ba8293ae425607d0feb5a3d3573571b9 /.gitignore | |
| parent | 260fd7480c613205ab779b69e354ecf8f8b9a131 (diff) | |
Lambda v0.0.0v0.0.0
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 8 |
1 files changed, 7 insertions, 1 deletions
@@ -1,5 +1,6 @@ *.aux *.glob +*.tar.gz *.vo *.vok *.vos @@ -7,4 +8,9 @@ .CoqMakefile.d .lia.cache CoqMakefile -CoqMakefile.conf
\ No newline at end of file +CoqMakefile.conf +Makefile +autom4te.cache +config.log +config.status +configure |