enabler: make GL header usage optional
treead0500760e620791ebff372c740ec6d2fd9faf40
-rw-r--r-- 66 .gitignore
-rw-r--r-- 66 32to64
-rw-r--r-- 1364 README.linux
-rw-r--r-- 33 SConstruct
-rw-r--r-- 935 command line.txt
-rw-r--r-- 2006 compressor.hs
drwxr-xr-x - data
-rwxr-xr-x 243 df
-rw-r--r-- 54934 file changes.txt
drwxr-xr-x - g_src
-rw-r--r-- 128 libify.sh
drwxr-xr-x - libs
drwxr-xr-x - raw
-rw-r--r-- 8738 readme.txt
-rw-r--r-- 90806 release notes.txt
drwxr-xr-x - sdl
-rw-r--r-- 461 update-head.sh
-rw-r--r-- 508 valgrind.supp