set WAR name in install properties, not build properties
[java-idp.git] / doc /
drwxr-xr-x   ..
-rw-r--r-- 1870 CREDITS.txt
-rw-r--r-- 669 INSTALL.txt
-rw-r--r-- 1092 NRCC.LICENSE.txt
-rw-r--r-- 1043 README.txt