add instdir to .gitignore

Change-Id: I73ce022d064c7ccfeb71f5560f112aac3d777bf7
This commit is contained in:
David Tardon 2013-04-06 13:33:20 +02:00
parent ff4448a79e
commit 2149279914

1
.gitignore vendored
View file

@ -20,6 +20,7 @@
#
# where stuff are built
/instdir
/workdir
/solver