Added Display Refresher for Linux w Generic Object File Format

git-svn-id: https://svn.inf.ethz.ch/svn/lecturers/a2/trunk@6987 8c9fc860-2736-0410-a75d-ab315db34111

source/Release.Tool

@@ -1023,7 +1023,7 @@ PACKAGE GuiApplicationsMini ARCHIVE "GuiApplicationsMini.zip" SOURCE "GuiApplica
 	WMCharMap.Mod
 	WMUnicodeMarkerTool.Mod
 
-	UNIX { Unix.DisplayRefresher.Mod }
+	UNIX, UNIXG { Unix.DisplayRefresher.Mod }
 
 	Standard.rep Models.rep Shapes.rep Colors.rep System.rep