]> git.tdb.fi Git - libs/gl.git/tree - scripts/
Use the core version of primitive restart if possible
[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