[tldoc] Contents of doc/german/misc-ge/

Karl Berry karl at freefriends.org
Thu Nov 18 20:00:34 CET 2004


    So maybe one could just do a
    rm -r Master/texmf-doc/doc/german/misc-ge

Ok, it's gone.  Thanks!



More information about the tldoc mailing list