panne 2005/02/18 00:37:56 PST
Modified files: (Branch: ghc-6-4-branch)
libraries/GLUT/Graphics/UI/GLUT Menu.hs
Log:
merge rev. 1.14
Revision Changes Path
1.13.4.1 +7 -6 fptools/libraries/GLUT/Graphics/UI/GLUT/Menu.hs