Mode | Name | Size | |
---|---|---|---|
-rwxr-xr-x | check-includes.pl | 527 | logplain |
-rw-r--r-- | gdb-sd_dump_hashmaps.py | 5114 | logplain |
-rwxr-xr-x | make-directive-index.py | 10758 | logplain |
-rwxr-xr-x | make-man-index.py | 4070 | logplain |
-rw-r--r-- | make-man-rules.py | 4043 | logplain |
-rwxr-xr-x | move.sh | 20521 | logplain |
-rwxr-xr-x | reset.sh | 124 | logplain |
-rw-r--r-- | xml_helper.py | 1281 | logplain |