HTML-zu-LaTeX/OpenDocument:   durch normale Leerzeichen ersetzen
[kivitendo-erp.git] / SL / DBUpgrade2 /
drwxr-xr-x   ..
-rw-r--r-- 8043 Base.pm