summaryrefslogtreecommitdiff
path: root/.project
diff options
context:
space:
mode:
authorJakob Odersky <jodersky@gmail.com>2011-03-12 11:20:07 +0000
committerJakob Odersky <jodersky@gmail.com>2011-03-12 11:20:07 +0000
commit042870bbcea4c39e8fbf9f07990dc9d64c92bde1 (patch)
tree566bdd68dfc72f090a7d07118fbd45866d465f25 /.project
parentcc47a21b3c70a8f91ef945e6c127d4f2e3b007da (diff)
downloadvhc-042870bbcea4c39e8fbf9f07990dc9d64c92bde1.tar.gz
vhc-042870bbcea4c39e8fbf9f07990dc9d64c92bde1.tar.bz2
vhc-042870bbcea4c39e8fbf9f07990dc9d64c92bde1.zip
Reorganisation du repertoire source. Les sources principaux sont dans `src/main' et les tests dans `src/test'.
Diffstat (limited to '.project')
-rw-r--r--.project4
1 files changed, 0 insertions, 4 deletions
diff --git a/.project b/.project
index 893383e..40996ba 100644
--- a/.project
+++ b/.project
@@ -30,10 +30,6 @@
<value>make</value>
</dictionary>
<dictionary>
- <key>org.eclipse.cdt.make.core.buildLocation</key>
- <value>${workspace_loc:/vhc/Debug}</value>
- </dictionary>
- <dictionary>
<key>org.eclipse.cdt.make.core.cleanBuildTarget</key>
<value>clean</value>
</dictionary>