Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
| menu_demarrage [2016/03/11 19:03] – admin | menu_demarrage [2022/10/04 17:49] (Version actuelle) – modification externe 127.0.0.1 | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ====== Démarrer par défaut en mode " | + | ====== Démarrer par défaut en mode " |
| Démarrer "Grub Customizer": | Démarrer "Grub Customizer": | ||