summaryrefslogtreecommitdiff
path: root/po/fr/installation-howto.po
diff options
context:
space:
mode:
authorD-I role <debian-boot@lists.debian.org>2020-11-27 23:00:05 +0000
committerD-I role <debian-boot@lists.debian.org>2020-11-27 23:00:05 +0000
commit505ad4c6d2fba408f53a57a037cc5e9b0a81676f (patch)
treeeea750e28d65df78deebf24b4680bcaaac33b5b6 /po/fr/installation-howto.po
parent9f6b7b80917e37d0d619be12a1b714ba15c90811 (diff)
downloadinstallation-guide-505ad4c6d2fba408f53a57a037cc5e9b0a81676f.zip
[SILENT_COMMIT] Update of POT and PO files for the installation-guide
Diffstat (limited to 'po/fr/installation-howto.po')
-rw-r--r--po/fr/installation-howto.po13
1 files changed, 0 insertions, 13 deletions
diff --git a/po/fr/installation-howto.po b/po/fr/installation-howto.po
index ec3d1cfa4..02e838f2e 100644
--- a/po/fr/installation-howto.po
+++ b/po/fr/installation-howto.po
@@ -144,13 +144,6 @@ msgstr ""
#. Tag: para
#: installation-howto.xml:77
#, no-c-format
-#| msgid ""
-#| "Download whichever type you prefer and burn it to an optical disc. "
-#| "<phrase arch=\"any-x86\">To boot the disc, you may need to change your "
-#| "BIOS configuration, as explained in <xref linkend=\"bios-setup\"/>.</"
-#| "phrase> <phrase arch=\"powerpc\"> To boot a PowerMac from CD, press the "
-#| "<keycap>c</keycap> key while booting. See <xref linkend=\"boot-cd\"/> for "
-#| "other ways to boot from CD. </phrase>"
msgid ""
"Download whichever type you prefer and burn it to an optical disc. <phrase "
"arch=\"any-x86\">To boot the disc, you may need to change your BIOS/UEFI "
@@ -238,12 +231,6 @@ msgstr ""
#. Tag: para
#: installation-howto.xml:123
#, no-c-format
-#| msgid ""
-#| "Some BIOSes can boot USB storage directly, and some cannot. You may need "
-#| "to configure your BIOS to enable <quote>USB legacy support</quote>. The "
-#| "boot device selection menu should show <quote>removable drive</quote> or "
-#| "<quote>USB-HDD</quote> to get it to boot from the USB device. For helpful "
-#| "hints and details, see <xref linkend=\"usb-boot-x86\"/>."
msgid ""
"While booting from USB storage is quite common on UEFI systems, this is "
"somewhat different in the older BIOS world. Some BIOSes can boot USB storage "