diff options
| author | David Kalnischkies <kalnischkies@gmail.com> | 2012-03-22 17:34:41 +0100 |
|---|---|---|
| committer | David Kalnischkies <kalnischkies@gmail.com> | 2012-03-22 17:34:41 +0100 |
| commit | 51b2a0fc603c8e4fe667bf7a278bd1ce151e38a3 (patch) | |
| tree | e7d3d0fef6eb31a06696a280bbda894491f20c3e /doc/po/fr.po | |
| parent | b058a788c4f976ea98e20b853853929f47d4bc3e (diff) | |
| parent | b7a6594d1e5ed199a7a472b78b33e070375d6f92 (diff) | |
merge with debian-sid (some version screw going on here)
Diffstat (limited to 'doc/po/fr.po')
| -rw-r--r-- | doc/po/fr.po | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/po/fr.po b/doc/po/fr.po index 780d1209e..6292cdcd5 100644 --- a/doc/po/fr.po +++ b/doc/po/fr.po @@ -465,7 +465,7 @@ msgstr "" "<!ENTITY file-preferences \"\n" " <varlistentry><term><filename>/etc/apt/preferences</filename></term>\n" " <listitem><para>Fichier des préférences.\n" -" C'est dans ce fichier qu'on peut faire de l'étiquetage (pinning) c'est-à-dire, choisir d'obtenir des paquets d'une source distincte ou d'une distribution différente.\n" +" C'est dans ce fichier qu'on peut faire de l'épinglage (pinning) c'est-à-dire, choisir d'obtenir des paquets d'une source distincte ou d'une distribution différente.\n" " Élément de configuration : <literal>Dir::Etc::Preferences</literal>.</para></listitem>\n" " </varlistentry>\n" @@ -4444,7 +4444,7 @@ msgid "" "also the &apt-preferences; manual page." msgstr "" "Cette option contrôle l'entrée par défaut pour les questions de " -"distribution ; une étiquette (pin) par défaut dont la priorité vaut 990 est " +"distribution ; un épinglage (pin) par défaut dont la priorité vaut 990 est " "créée en utilisant la chaîne spécifiée. Le fichier des préférences peut " "annuler cette décision. En clair, cette option permet de contrôler " "simplement dans quelle distribution seront récupérés les paquets. Par " |