Minor improvement
[texmacs.git] / server / progs / 
tree9dc7e4c7a8d6f6a656c312ea1e76b318647e1cb5
drwxr-xr-x   ..
drwxr-xr-x - chat
drwxr-xr-x - server
drwxr-xr-x - tmfs
drwxr-xr-x - tools