Require import module names to be identifiers
[libs/gl.git] / scripts /
drwxr-xr-x   ..
-rwxr-xr-x 23924 extgen.py
-rwxr-xr-x 3545 makefont.py
-rwxr-xr-x 2039 maketex.py