Fix
[texmacs.git] / fonts / 
tree72cca6c368bc41b57cd48976f080ffe3962ce2aa
drwxr-xr-x   ..
drwxr-xr-x - TeXmacs-essential-fonts-1.0
drwxr-xr-x - TeXmacs-extra-fonts-1.0