panne 2003/03/09 14:01:36 PST Modified files: libraries/GLUT/Graphics/UI/GLUT Window.hs Log: Fixed link for 'flush'. Revision Changes Path 1.16 +4 -4 fptools/libraries/GLUT/Graphics/UI/GLUT/Window.hs