# HG changeset patch
# User wenzelm
# Date 1007229071 -3600
# Node ID 2d4561866642f3648b1b4bbd5191d16f314a462e
# Parent  db4d5f498742f2cde3f22d4b58f5688f3fe17118
%\usepackage{textcomp}
%\usepackage{marvosym}

diff -r db4d5f498742 -r 2d4561866642 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}