fixed 2 problems with john's code: publish_path shouldn't be used, and the
[mir.git] / source /
drwxr-xr-x   ..
-rwxr-xr-x 17019 Mir.java
-rwxr-xr-x 5602 OpenMir.java
drwxr-xr-x - mir
drwxr-xr-x - mircoders