diff options
| author | Leah Rowe <info@minifree.org> | 2017-04-05 12:33:43 +0000 |
|---|---|---|
| committer | Gogs <gogitservice@gmail.com> | 2017-04-05 12:33:43 +0000 |
| commit | 5c5b7d947bd62a2b4bfbcfb856df31271e2b866f (patch) | |
| tree | 4200d8c674d2f0351c68ccf15dfc38ef064ff32e /docs/gnulinux/index.md | |
| parent | a81dbc79f5401d94954fa9efdcda093aa789d4b9 (diff) | |
| parent | aa529a3150d1a921c9a48854d89013476f85657a (diff) | |
| download | librebootfr-5c5b7d947bd62a2b4bfbcfb856df31271e2b866f.tar.gz librebootfr-5c5b7d947bd62a2b4bfbcfb856df31271e2b866f.zip | |
Merge branch 'nav' of libreboot/libreboot into master
Diffstat (limited to 'docs/gnulinux/index.md')
| -rw-r--r-- | docs/gnulinux/index.md | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/docs/gnulinux/index.md b/docs/gnulinux/index.md index d9ba3c50..bd6edeb0 100644 --- a/docs/gnulinux/index.md +++ b/docs/gnulinux/index.md @@ -1,4 +1,6 @@ -% GNU+Linux distributions +--- +title: GNU+Linux distributions +... This section relates to dealing with GNU+Linux distributions: preparing bootable USB drives, changing the default GRUB menu and so on. |