]> git.zerfleddert.de Git - m1-debian/history - m1di.pl
get rid of old pmdi
[m1-debian] / m1di.pl
2022-02-09 Thomas Glanzmannget rid of old pmdi
2022-02-08 Thomas Glanzmannadd todos
2022-02-08 Thomas Glanzmannrename the debian installer
Impressum, Datenschutz