%\usepackage{textcomp}
authorwenzelm
Sat, 01 Dec 2001 18:51:11 +0100
changeset 12336 2d4561866642
parent 12335 db4d5f498742
child 12337 7c6a970f0808
%\usepackage{textcomp} %\usepackage{marvosym}
lib/Tools/mkdir
--- a/lib/Tools/mkdir	Sat Dec 01 18:50:41 2001 +0100
+++ b/lib/Tools/mkdir	Sat Dec 01 18:51:11 2001 +0100
@@ -227,6 +227,8 @@
 %\usepackage[only,bigsqcap]{stmaryrd}
 %\usepackage{wasysym}
 %\usepackage{eufrak}
+%\usepackage{textcomp}
+%\usepackage{marvosym}
 
 % this should be the last package used
 \usepackage{pdfsetup}