updates here and there. talk about TOMCAT_HOME
[mir.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 169 CHANGES.txt
-rwxr-xr-x 7330 CODESTRUCTURE
-rwxr-xr-x 2827 DC.txt
-rwxr-xr-x 9933 INSTALL.mir
-rwxr-xr-x 2536 INSTALL.postgresql
-rwxr-xr-x 1896 INTERNATIONALIZATION.howto
-rwxr-xr-x 1264 MAINTENANCE
-rwxr-xr-x 4644 TODO.txt