Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Add .gitignore

  • Loading branch information...
commit 90167c822b335e4981c0dc5fb2556c9a465139c1 1 parent 993ca79
@bschmalhofer authored
Showing with 2 additions and 0 deletions.
  1. +2 −0  .gitignore
View
2  .gitignore
@@ -0,0 +1,2 @@
+Makefile
+lazy.pbc
Please sign in to comment.
Something went wrong with that request. Please try again.