diff .project @ 1:ede4c4ead6f5

properties fuer die name server in web.xml eingebaut, zum instlalieren muss web.xml.template in web.xml umbenannt werden.
author dwinter
date Thu, 30 Jun 2011 11:21:29 +0200
parents 813aa2c5bc4b
children dfd72ea936ff
line wrap: on
line diff
--- a/.project	Wed Nov 24 16:56:28 2010 +0100
+++ b/.project	Thu Jun 30 11:21:29 2011 +0200
@@ -4,6 +4,9 @@
 	<comment></comment>
 	<projects>
 		<project>MetaDataManager</project>
+		<project>NamedIdentityManager</project>
+		<project>protege</project>
+		<project>protege-core</project>
 	</projects>
 	<buildSpec>
 		<buildCommand>