proglangs/logical-foundations
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

gitignore

Browse source
This commit is contained in:
Michael Zhang 2020-06-03 21:49:22 -05:00
parent bc27534fa2
commit 9e8c105bc2
Signed by: michael
GPG key ID: BDA47A31A3C8EE6B
1 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
.gitignore vendored Normal file
View file

@ -0,0 +1,4 @@
*.vo
*.glob
.*.aux
.Makefile.d