From 05758b2129d8dd57d97b4237a7735673047fecbe Mon Sep 17 00:00:00 2001 From: abranson Date: Wed, 25 Jul 2012 16:32:13 +0200 Subject: cristal-dev defines its own server, and depends on cristal-kernel rather than the other way around. --- .gitignore | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to '.gitignore') diff --git a/.gitignore b/.gitignore index 8794ec2..a2416cd 100644 --- a/.gitignore +++ b/.gitignore @@ -1,4 +1,4 @@ -/bin +/db /cristaldev.jar /.settings /.classpath -- cgit v1.2.3