diff options
| author | Holger Wansing <linux@wansing-online.de> | 2015-02-23 21:13:46 +0000 |
|---|---|---|
| committer | Holger Wansing <linux@wansing-online.de> | 2015-02-23 21:13:46 +0000 |
| commit | b36334785f7df3f7f8a103584c5e1d10f1119086 (patch) | |
| tree | dc3962f68d07f7bf33f1bad253ea517c463e9a22 /po/fr/partitioning.po | |
| parent | 6e63ffb74923d9eb7dc5004deee048de31491d54 (diff) | |
| download | installation-guide-b36334785f7df3f7f8a103584c5e1d10f1119086.zip | |
Refresh po and pot files after changings in en
Diffstat (limited to 'po/fr/partitioning.po')
| -rw-r--r-- | po/fr/partitioning.po | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/po/fr/partitioning.po b/po/fr/partitioning.po index 68557005f..085665b63 100644 --- a/po/fr/partitioning.po +++ b/po/fr/partitioning.po @@ -533,11 +533,6 @@ msgstr "" #. Tag: para #: partitioning.xml:245 #, no-c-format -#| msgid "" -#| "For multi-user systems or systems with lots of disk space, it's best to " -#| "put <filename>/usr</filename>, <filename>/var</filename>, <filename>/tmp</" -#| "filename>, and <filename>/home</filename> each on their own partitions " -#| "separate from the <filename>/</filename> partition." msgid "" "For multi-user systems or systems with lots of disk space, it's best to put " "<filename>/var</filename>, <filename>/tmp</filename>, and <filename>/home</" |