Instalé Ubuntu en arranque dual con Windows 10 hace algún tiempo, luego ya no lo necesitaba y borré las particiones donde estaba instalado, pero ahora me doy cuenta de que el arranque aún muestra, entre las opciones de arranque, entradas que se refieren a Ubuntu. ¿Cómo puedo ordenar y limpiar los...