Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | code2xmi.py | 11806 | logplain |
-rwxr-xr-x | cosmetics.sh | 122 | logplain |
-rw-r--r-- | cosmetics.vim | 111 | logplain |
-rwxr-xr-x | htmlmerge.py | 697 | logplain |
-rwxr-xr-x | pylint.sh | 247 | logplain |
-rw-r--r-- | pylintrc | 11292 | logplain |
-rw-r--r-- | users | 43 | logplain |
-rwxr-xr-x | xmimerge.py | 4403 | logplain |