]> git.tdb.fi Git - libs/gl.git/tree - scripts/
Pick the correct source for an extension function if there's multiple
[libs/gl.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 14238 extgen.py
-rwxr-xr-x 2940 makefont.py
-rwxr-xr-x 1917 maketex.py