From 99dd9243a8f5fd1f09185bda5edaea3275f6bd7f Mon Sep 17 00:00:00 2001 From: dsyer Date: Fri, 21 Dec 2007 11:58:05 +0000 Subject: [PATCH] Project name wrong in .project --- docs/.project | 40 +++++++++++++++++----------------------- 1 file changed, 17 insertions(+), 23 deletions(-) diff --git a/docs/.project b/docs/.project index 101216565..74ee6df8e 100644 --- a/docs/.project +++ b/docs/.project @@ -1,23 +1,17 @@ - - - batch-docs - - - - - - org.eclipse.jdt.core.javabuilder - - - - - org.maven.ide.eclipse.maven2Builder - - - - - - org.eclipse.jdt.core.javanature - org.maven.ide.eclipse.maven2Nature - - + + + docs + + + + + + org.eclipse.jdt.core.javabuilder + + + + + + org.eclipse.jdt.core.javanature + +