diff options
| author | Holger Wansing <linux@wansing-online.de> | 2018-06-03 10:06:16 +0200 |
|---|---|---|
| committer | Holger Wansing <linux@wansing-online.de> | 2018-06-03 10:06:16 +0200 |
| commit | c38960f97f6b37e4cd158b75609a08537f2023d6 (patch) | |
| tree | 181a8d01c2e9b24fc4016ec06ee8d65765655d11 /po/nl/boot-installer.po | |
| parent | f4894b417ac4bd8eceffc092815e535663164c56 (diff) | |
| download | installation-guide-c38960f97f6b37e4cd158b75609a08537f2023d6.zip | |
Update entities on git migration (including translations, as far as possible)
Diffstat (limited to 'po/nl/boot-installer.po')
| -rw-r--r-- | po/nl/boot-installer.po | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/po/nl/boot-installer.po b/po/nl/boot-installer.po index 3cdc79f87..e1fa0b9a8 100644 --- a/po/nl/boot-installer.po +++ b/po/nl/boot-installer.po @@ -1523,15 +1523,6 @@ msgstr "" #. Tag: para #: boot-installer.xml:938 #, no-c-format -#| msgid "" -#| "If you wish or need to add any boot parameters for either the installer " -#| "or the kernel, press &tabkey; (BIOS boot), or &ekey; then &downkey; three " -#| "times then &endkey; (UEFI boot). This will bring the boot command for the " -#| "selected menu entry and allow you to edit it to suit your needs. The help " -#| "screens (see below) list some common possible options. Press &enterkey; " -#| "(BIOS boot) or &f10key; (UEFI boot) to boot the installer with your " -#| "options; pressing &escapekey; will return you to the boot menu and undo " -#| "any changes you made." msgid "" "If you wish or need to add any boot parameters for either the installer or " "the kernel, press &tabkey; (BIOS boot), or &ekey; then &downkey; three times " |