author | wenzelm |
Thu, 26 Nov 2009 14:54:56 +0100 | |
changeset 33919 | 14ff44e21bec |
parent 33918 | ea0e7ac4aaad |
child 33920 | 86cef0304298 |
1.1 --- a/Admin/ProofGeneral/interface Thu Nov 26 14:42:52 2009 +0100 1.2 +++ b/Admin/ProofGeneral/interface Thu Nov 26 14:54:56 2009 +0100 1.3 @@ -207,6 +207,7 @@ 1.4 then 1.5 cp -f "$SUPER/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf" "$HOME/Library/Fonts/" 1.6 cp -f "$SUPER/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf" "$HOME/Library/Fonts/" 1.7 + sleep 3 1.8 fi 1.9 fi 1.10