package info
(click to toggle)
Folder: admin
| .. (parent) | ||||
| - | rw-r--r-- | 2,390 | add_missing_gui_docs.sh | |
| - | rw-r--r-- | 1,395 | announcement.template | |
| - | rwxr-xr-x | 4,432 | check_copyright.pl | |
| - | rwxr-xr-x | 2,017 | check_gui_doc.pl | |
| - | rwxr-xr-x | 446 | enable-ie-git-diff | |
| - | rwxr-xr-x | 3,698 | extend2da.py | |
| - | rwxr-xr-x | 379 | generate_formation_files.sh | |
| - | rw-r--r-- | 740 | gource-generator | |
| - | rwxr-xr-x | 4,588 | guidoc_wikifier.sh | |
| - | rwxr-xr-x | 8,783 | make_formation.py | |
| - | rwxr-xr-x | 1,320 | restart_news.sh | |
| - | rwxr-xr-x | 224 | run.gdb | |
| - | rwxr-xr-x | 258 | run.valgrind | |
| - | rwxr-xr-x | 1,812 | todo-grapher |
