[MLton-commit] r6587

[Matthew Fluet]

Move Mike Thomas's OpenGL library to mltonlib.

The library is not installed and not included in binary distributions.
The mltonlib seems a better place for such a library.


----------------------------------------------------------------------

D   mlton/trunk/lib/opengl/
A   mltonlib/trunk/org/mlton/mike/opengl/unstable/

----------------------------------------------------------------------

Copied: mltonlib/trunk/org/mlton/mike/opengl/unstable (from rev 6586, mlton/trunk/lib/opengl)