deleted:    bootisos/linux.mint.debian.iso.grub.cfg
	new file:   scripts/sources/linux.mint.mate.iso.txt
	modified:   scripts/update.isos.sh