| tree | c8720e090a113d21a17b3747bcf075d493f18fff |
| drwxr-xr-x | .. | ||
| -rw-r--r-- | 2390 | add_missing_gui_docs.sh | blobblamehistoryraw |
| -rw-r--r-- | 955 | announcement.template | blobblamehistoryraw |
| -rwxr-xr-x | 4432 | check_copyright.pl | blobblamehistoryraw |
| -rwxr-xr-x | 2017 | check_gui_doc.pl | blobblamehistoryraw |
| -rwxr-xr-x | 379 | generate_formation_files.sh | blobblamehistoryraw |
| -rwxr-xr-x | 3647 | guidoc_wikifier.sh | blobblamehistoryraw |
| -rwxr-xr-x | 8783 | make_formation.py | blobblamehistoryraw |
| -rwxr-xr-x | 1340 | restart_news.sh | blobblamehistoryraw |
| -rwxr-xr-x | 1275 | setup.sh | blobblamehistoryraw |
| -rwxr-xr-x | 1383 | toggle_music.sh | blobblamehistoryraw |