fixed a possible bug in the update script dealing with permissions on new
[mir.git] / web /
drwxr-xr-x   ..
drwxr-xr-x - help
drwxr-xr-x - img
-rwxr-xr-x 232 index.html
drwxr-xr-x - produced
drwxr-xr-x - style