ignore

e35df443 · Jean-Christophe Filliâtre · 743d1d7a · e35df443
Commit e35df443 authored Dec 20, 2010 by Jean-Christophe Filliâtre
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

.gitignore .gitignore +1 -0

No files found.
--- a/.gitignore
+++ b/.gitignore
@@ -176,6 +176,7 @@ why.conf

 # /examples/
 /examples/programs/my_cosine/*.gappa
+/examples/my_cosine/
 /examples/scottish-private-club/
 /examples/hello_proof/
 /examples/einstein/