X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=blobdiff_plain;f=.gitignore;h=e420df519d43042fc1ef027ba20c6b98c07ec7f7;hp=f7f85d1f24a609cbff7066a9f9e168920ed2e00a;hb=ec996e8cb550676d89d187061db7d018af9ec88d;hpb=f9cd51c59e630b43363f71c6aef15115de007dbf diff --git a/.gitignore b/.gitignore index f7f85d1..e420df5 100644 --- a/.gitignore +++ b/.gitignore @@ -4,3 +4,7 @@ examples/tutorial.pdf build/ build/** examples/.build +examples/*.o +examples/*.hi + +