summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorabranson <abranson@PCUWE01.cern.ch>2012-07-25 16:32:13 +0200
committerabranson <abranson@PCUWE01.cern.ch>2012-07-25 16:32:13 +0200
commit05758b2129d8dd57d97b4237a7735673047fecbe (patch)
tree4ddd312308836ca8112b3405e4cdf754383649a4 /.gitignore
parent6e38d4871a6d12ef49ae2b86e43739dc57058fa3 (diff)
cristal-dev defines its own server, and depends on cristal-kernel rather
than the other way around.
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore2
1 files changed, 1 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 8794ec2..a2416cd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,4 +1,4 @@
-/bin
+/db
/cristaldev.jar
/.settings
/.classpath