| Mode | Name | Size | |
|---|---|---|---|
| -rwxr-xr-x | burncd | 12145 | logstatsplain |
| -rwxr-xr-x | clean | 110 | logstatsplain |
| -rwxr-xr-x | dead_links | 164 | logstatsplain |
| -rwxr-xr-x | fix_date | 95 | logstatsplain |
| -rwxr-xr-x | git-push-all | 301 | logstatsplain |
| -rwxr-xr-x | git-rm | 80 | logstatsplain |
| -rwxr-xr-x | git-urm | 86 | logstatsplain |
 |
index : bin | |
| mainly shell script | Jérémy Zurcher |
| summaryrefslogtreecommitdiffstats |