panne 2002/10/03 06:59:19 PDT
Modified files:
libraries/GLUT/Graphics/UI/GLUT Menu.hs
Log:
Warning police #10: Nuked unused variable.
Revision Changes Path
1.4 +1 -1 fptools/libraries/GLUT/Graphics/UI/GLUT/Menu.hs