RE: [MiNT] 1.15.10

[Frank Naumann <fnaumann@freemint.de>]

Hello!

> Btw, Frank, why is the filename of the MINT binary ignored on
> 1.15.10b, to select memory protection or disable it? Changing the
> filename to either MINT.PRG or MINTNP.PRG is to select this is
> a well-documented feature; it should not be removed.

This is a side effect of the new boot menu.

> Also, why did you create that boot menu for?

If you look at the ChangeLog you see that the boot menu is not from me.
It's written by draco. But until now most people like it.


Tschuess
   ...Frank

--
ATARI FALCON 040 // MILAN 060
-----------------------------------------
http://www.cs.uni-magdeburg.de/~fnaumann/
e-Mail: fnaumann@freemint.de