diff options
| author | Dan Rostovtsev <dan@rostovtsev.org> | 2026-03-29 15:32:40 -0400 |
|---|---|---|
| committer | Dan Rostovtsev <dan@rostovtsev.org> | 2026-03-29 15:32:40 -0400 |
| commit | fb9d9ed9995c6e411f1223d5b53f7b8b6880573e (patch) | |
| tree | 3ae3d28a9f1b575495fee2b65baa619e8929027f /.gitignore | |
Simple build and README.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..d49d37c --- /dev/null +++ b/.gitignore @@ -0,0 +1,10 @@ +*.aux +*.glob +*.vo +*.vok +*.vos +*~ +.CoqMakefile.d +.lia.cache +CoqMakefile +CoqMakefile.conf
\ No newline at end of file |