| tree | c2a704716d41be2163bbb2522c8b9467504c7a4d |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 2390 | add_missing_gui_docs.sh | blobblamehistoryraw |
| -rwxr-xr-x | 4432 | check_copyright.pl | blobblamehistoryraw |
| -rwxr-xr-x | 2017 | check_gui_doc.pl | blobblamehistoryraw |
| -rwxr-xr-x | 444 | generate_formation_files.sh | blobblamehistoryraw |
| -rwxr-xr-x | 3647 | guidoc_wikifier.sh | blobblamehistoryraw |
| -rwxr-xr-x | 8859 | make_formation.py | blobblamehistoryraw |
| -rwxr-xr-x | 1353 | restart_news.sh | blobblamehistoryraw |
| -rwxr-xr-x | 1275 | setup.sh | blobblamehistoryraw |
| -rwxr-xr-x | 1383 | toggle_music.sh | blobblamehistoryraw |