]>
2022-02-10 | Thomas Glanzmann | Merge branch 'master' of 88.198.237.222:/git/m1-debian | blob | commitdiff | raw |
2022-02-09 | Thomas Glanzmann | sync config options | blob | commitdiff | raw |
2022-01-22 | Thomas Glanzmann | manual merge | blob | commitdiff | raw | diff to current |
2022-01-22 | Thomas Glanzmann | more to add | blob | commitdiff | raw | diff to current |
2022-01-22 | Thomas Glanzmann | m1 config options | blob | commitdiff | raw | diff to current |