Ok, big merge. here's the new xml-config stuff in action. There's a few
[mir.git] / source /
drwxr-xr-x   ..
-rwxr-xr-x 8980 Mir.java
-rwxr-xr-x 3996 OpenMir.java
-rwxr-xr-x 9946 config.properties-dist
-rwxr-xr-x 6075 content-types.properties
drwxr-xr-x - mir
drwxr-xr-x - mircoders