I have Windows 7 only, I deleted Windows 10 partition.
Windows 10 still shows up in msconfig, I set Windows’s 7 as default.
IF I deleted Windows 10 from the Windows 7 msconfig boot tab,
Should I do a grub2-makeconfig -o /boot/Grub2/grub.cfg? Immediately?
to hopefully rid my main drive of 2 Windows entries in the Grub boot menu?