]> git.zerfleddert.de Git - m1-debian/history - m1di.pl
more useful commands
[m1-debian] / m1di.pl
2022-02-10 Thomas GlanzmannMerge branch 'master' of 88.198.237.222:/git/m1-debian
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