got rid of stallman compatibility hack.. stallman is broken the way it is anyway
[mir.git] / etc /
drwxr-xr-x   ..
-rwxr-xr-x 2804 web.xml