]> git.zerfleddert.de Git - m1-debian/history - m1di.pl
use another detection method
[m1-debian] / m1di.pl
2022-02-23 Thomas Glanzmannadd missing /u
2022-02-23 Thomas Glanzmannfix m1di
2022-02-23 Thomas Glanzmanncreate efi.tar
2022-02-23 Thomas Glanzmannextract efi.tar.gz
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