diff options
| author | D-I role <debian-boot@lists.debian.org> | 2023-02-26 23:07:21 +0000 |
|---|---|---|
| committer | D-I role <debian-boot@lists.debian.org> | 2023-02-26 23:07:21 +0000 |
| commit | b60874d827dfe286cc029587fcc42931ed16ef92 (patch) | |
| tree | cf568d222e4fdb3b6e17a15adf9a3c567e2d16fa /po/fr/post-install.po | |
| parent | 4e03a1519dbfa12c1b1d7f6489904c57fb1cb709 (diff) | |
| download | installation-guide-b60874d827dfe286cc029587fcc42931ed16ef92.zip | |
[SILENT_COMMIT] Update of POT and PO files for the installation-guide
Diffstat (limited to 'po/fr/post-install.po')
| -rw-r--r-- | po/fr/post-install.po | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/po/fr/post-install.po b/po/fr/post-install.po index b7beb3f75..0f01d2d97 100644 --- a/po/fr/post-install.po +++ b/po/fr/post-install.po @@ -151,14 +151,6 @@ msgstr "" #. Tag: para #: post-install.xml:114 #, no-c-format -#| msgid "" -#| "One of the best installation methods is apt. You can use the command line " -#| "version of <command>apt</command> as well as tools like " -#| "<application>aptitude</application> or <application>synaptic</" -#| "application> (which are just graphical frontends for <command>apt</" -#| "command>). Note that apt will also let you merge main, contrib, and non-" -#| "free so you can have restricted packages (strictly speaking not belonging " -#| "to &debian;) as well as packages from &debian-gnu; at the same time." msgid "" "One of the best installation methods is apt. You can use the command line " "version of <command>apt</command> as well as tools like " |