From 2149279914e7581adea62ad0b971bc377ab2d056 Mon Sep 17 00:00:00 2001 From: David Tardon Date: Sat, 6 Apr 2013 13:33:20 +0200 Subject: [PATCH] add instdir to .gitignore Change-Id: I73ce022d064c7ccfeb71f5560f112aac3d777bf7 --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 8a4528912caa..8e1dea9c88cf 100644 --- a/.gitignore +++ b/.gitignore @@ -20,6 +20,7 @@ # # where stuff are built +/instdir /workdir /solver