]>
2016-04-22 | Lucas Werkmeister | Use Bash arrays instead of word splitting | commit | commitdiff |
2016-04-22 | Felix Dörre | del: also do not collect gigi keys | commit | commitdiff |
2016-04-22 | Felix Dörre | del: remaining of infra-keys | commit | commitdiff |
2016-04-11 | Lucas Werkmeister | Untabify shell scripts | commit | commitdiff |
2016-04-11 | Lucas Werkmeister | Rename shell scripts | commit | commitdiff |