]>
2019-04-24 | Paul Hänsch | Merge branch 'master' of git.plutz.net:vhs_kurs | tree | commitdiff |
2019-04-24 | Paul Hänsch | portability: prevent crashes in bash | tree | commitdiff |
2019-04-23 | Paul Hänsch | Merge commit 'eb98affc5b5916de814d4fc666df87963bdde1e2... | tree | commitdiff |
2019-04-23 | Paul Hänsch | removed submodule | tree | commitdiff |
2019-04-18 | Paul Hänsch | build automation | tree | commitdiff |