panne 2005/02/18 10:29:37 PST
Modified files: (Branch: ghc-6-4-branch)
libraries/GLUT/Graphics/UI/GLUT Menu.hs
Log:
merge rev. 1.15
Revision Changes Path
1.13.4.2 +3 -3 fptools/libraries/GLUT/Graphics/UI/GLUT/Menu.hs