Skip to content

Commit

Permalink
Merge branch 'master' of github.com:tebbi/autosubst
Browse files Browse the repository at this point in the history
  • Loading branch information
@tebbi
tebbi committed Jan 14, 2016
2 parents 3b5eb02 + 07c6694 commit 893c5d9
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion .gitignore
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,5 @@
*.v.d
*.coq
doc/*
.DS_Store
.DS_Store
*.aux

0 comments on commit 893c5d9

Please sign in to comment.