]>
2022-03-27 | Thomas Glanzmann | tell what to do | blob | commitdiff | raw |
2022-03-27 | Thomas Glanzmann | debian installer is broken; remove it for now | blob | commitdiff | raw | diff to current |
2022-03-27 | Thomas Glanzmann | add readme | blob | commitdiff | raw | diff to current |