diff options
| author | D-I role <debian-boot@lists.debian.org> | 2023-03-04 23:00:19 +0000 |
|---|---|---|
| committer | D-I role <debian-boot@lists.debian.org> | 2023-03-04 23:00:19 +0000 |
| commit | ec7bc97c5d00165f2ec3b02087a0f9cf5d1315c4 (patch) | |
| tree | 01a6d1c8a0e35973d4a42e138280102ea3fbc769 /po/fr | |
| parent | ea91c2af1364a1a5e3c38b8ed80c5325ccaa22c3 (diff) | |
| download | installation-guide-ec7bc97c5d00165f2ec3b02087a0f9cf5d1315c4.zip | |
[SILENT_COMMIT] Update of POT and PO files for the installation-guide
Diffstat (limited to 'po/fr')
| -rw-r--r-- | po/fr/partitioning.po | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/po/fr/partitioning.po b/po/fr/partitioning.po index 3de71965d..21c1d3c52 100644 --- a/po/fr/partitioning.po +++ b/po/fr/partitioning.po @@ -384,15 +384,6 @@ msgstr "" #. Tag: para #: partitioning.xml:155 #, no-c-format -#| msgid "" -#| "The root partition <filename>/</filename> must always physically contain " -#| "<filename>/etc</filename>, <filename>/bin</filename>, <filename>/sbin</" -#| "filename>, <filename>/lib</filename>, <filename>/dev</filename> and " -#| "<filename>/usr</filename>, otherwise you won't be able to boot. This " -#| "means that you should provide at least &root-system-size-min;–&root-" -#| "system-size-max;MB of disk space for the root partition including " -#| "<filename>/usr</filename>, or &root-desktop-system-size-min;–&root-" -#| "desktop-system-size-max; for a workstation or a server installation." msgid "" "The root partition <filename>/</filename> must always physically contain " "<filename>/etc</filename>, <filename>/bin</filename>, <filename>/sbin</" |