Fix
[texmacs.git] / src / plugins / dratex / 
treefa6c484012ef3bdb77ecccb822a9dd7773adbaaf
drwxr-xr-x   ..
drwxr-xr-x - bin
drwxr-xr-x - examples
drwxr-xr-x - latex
drwxr-xr-x - progs