Morten Delenk 886e585d80 added PMM for PC		2017-07-20 17:48:44 +01:00
..
3ds9.mc	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
3ds11.mc	added an untested pmm for every machine except for PC	2017-07-20 15:37:45 +01:00
raspi2.mc	added PMM for PC	2017-07-20 17:48:44 +01:00