User contributions
- 07:33, 19 December 2025 diff hist +11,726 N Make GRUB menu & boot-up/down fonts bigger/fr Created page with "Augmentez la taille des polices du menu GRUB & de l'écran de démarrage/arrêt" current
- 16:17, 5 November 2025 diff hist +79 N Translations:Make GRUB menu & boot-up/down fonts bigger/Page display title/fr Created page with "Augmentez la taille des polices du menu GRUB & de l'écran de démarrage/arrêt" current
- 16:20, 5 November 2025 diff hist +13 N Translations:Make GRUB menu & boot-up/down fonts bigger/1/fr Created page with "Avertissement" current