Swapped 2nd <servlet> and <servlet-mapping> to bring web.xml into
[mir.git] / doc /
drwxr-xr-x   ..
-rwxr-xr-x 169 CHANGES.txt
-rwxr-xr-x 2827 DC.txt
-rwxr-xr-x 1814 INSTALL.mir
-rwxr-xr-x 2131 INSTALL.postgresql
-rwxr-xr-x 1301 STRUKTUR.txt
-rwxr-xr-x 2066 TODO.txt