Ok, big merge. here's the new xml-config stuff in action. There's a few
[mir.git] / etc /
drwxr-xr-x   ..
-rwxr-xr-x 3134 web.xml