diff -r 0a5320c6a7e6 -r 842969a598f2 Slides/ROOT.ML --- a/Slides/ROOT.ML Fri Jul 09 23:04:51 2010 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,6 +0,0 @@ -show_question_marks := false; -quick_and_dirty := true; - -no_document use_thy "LaTeXsugar"; - -use_thy "Slides1" \ No newline at end of file