summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorNorbert Thiebaud <nthiebaud@gmail.com>2011-07-26 21:24:53 -0500
committerNorbert Thiebaud <nthiebaud@gmail.com>2011-07-26 21:24:53 -0500
commit04a41c5b64f6b449f607dda5708d602a6068fc37 (patch)
tree00833dac6406e11bc693da6f79d4b20ebc17027f /.gitignore
parentc4b532b082f6d0793e3ab1c16e05952f61ecd9ee (diff)
git ignore workdir and clean it on make clea
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore3
1 files changed, 2 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index a1b1db7fc..981d563fe 100644
--- a/.gitignore
+++ b/.gitignore
@@ -29,7 +29,8 @@
/*/unxios?.pro
/*/unxand?
/*/unxand?.pro
-/solver/*
+/workdir
+/solver
/instsetoo_native/util/LibreOffice
/instsetoo_native/util/LibreOffice_SDK