git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@8038 8c9fc860-2736-0410-a75d-ab315db34111
@@ -4,7 +4,6 @@ Files.AddSearchPath bin~
Files.AddSearchPath ../source~
Files.SetWorkPath work~
Configuration.Init~
-Machine.SetTraceFile~
FSTools.Mount WORK RelativeFileSystem Work~
Display.Install ~
WindowManager.Install ~