# I don't recommend using this file, but it boots OS #3, Windows by default.
# Requested by certain family members, who claim that on one PC everyone
# just arrow downs to Windows.
GRUB_DEFAULT=2