Changed name of servlet in case we want to do more than "initialize" logging with...
[java-idp.git] / webAppConfig /
drwxr-xr-x   ..
-rwxr-xr-x 3239 origin.xml
-rwxr-xr-x 1511 target-includewayf.xml
-rwxr-xr-x 626 target.xml
-rwxr-xr-x 974 wayf.xml