]>
2022-02-10 | Thomas Glanzmann | Merge branch 'master' of 88.198.237.222:/git/m1-debian | blob | commitdiff | raw |
2022-02-09 | Thomas Glanzmann | get rid of old pmdi | blob | commitdiff | raw |
2022-02-08 | Thomas Glanzmann | add todos | blob | commitdiff | raw | diff to current |
2022-02-08 | Thomas Glanzmann | rename the debian installer | blob | commitdiff | raw | diff to current |