diff options
Diffstat (limited to 'po/fr/random-bits.po')
| -rw-r--r-- | po/fr/random-bits.po | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/po/fr/random-bits.po b/po/fr/random-bits.po index e92377101..8e986370c 100644 --- a/po/fr/random-bits.po +++ b/po/fr/random-bits.po @@ -2247,18 +2247,6 @@ msgstr "" "l'entrée de menu <guimenuitem>Configurer et lancer une connexion PPPoE</" "guimenuitem>." -#~ msgid "Laptop" -#~ msgstr "Ordinateur portable" - -#~ msgid "&task-laptop-inst;" -#~ msgstr "&task-laptop-inst;" - -#~ msgid "&task-laptop-dl;" -#~ msgstr "&task-laptop-dl;" - -#~ msgid "&task-laptop-tot;" -#~ msgstr "&task-laptop-tot;" - #~ msgid "" #~ "# /usr/sbin/debootstrap --arch ARCH &releasename; \\\n" #~ " /mnt/debinst http://ftp.us.debian.org/debian" |