diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2021-09-15 20:32:13 +0200 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2021-09-15 20:32:13 +0200 |
| commit | 40f1fe15ec06421c2b32652b60b9968cfc8807b6 (patch) | |
| tree | 40843e6a0f777068f988b4ff3e5e51370981d36e /po/pot | |
| parent | 84469115b4dae6bfc75153bee8880227d1a69310 (diff) | |
| download | installation-guide-40f1fe15ec06421c2b32652b60b9968cfc8807b6.zip | |
Sync translations, where possible
Diffstat (limited to 'po/pot')
| -rw-r--r-- | po/pot/welcome.pot | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/po/pot/welcome.pot b/po/pot/welcome.pot index f531174bc..3ee680083 100644 --- a/po/pot/welcome.pot +++ b/po/pot/welcome.pot @@ -6,7 +6,7 @@ msgid "" msgstr "" "Project-Id-Version: PACKAGE VERSION\n" "Report-Msgid-Bugs-To: debian-boot@lists.debian.org\n" -"POT-Creation-Date: 2021-09-11 23:02+0000\n" +"POT-Creation-Date: 2021-09-15 17:48+0000\n" "PO-Revision-Date: YEAR-MO-DA HO:MI+ZONE\n" "Last-Translator: FULL NAME <EMAIL@ADDRESS>\n" "Language-Team: LANGUAGE <LL@li.org>\n" @@ -240,10 +240,10 @@ msgstr "" #, no-c-format msgid "" "GNU/Linux users have immense freedom of choice in their software. For " -"example, Linux users can choose from a dozen different command line shells " -"and several graphical desktops. This selection is often bewildering to users " -"of other operating systems, who are not used to thinking of the command line " -"or desktop as something that they can change." +"example, they can choose from a dozen different command line shells and " +"several graphical desktops. This selection is often bewildering to users of " +"other operating systems, who are not used to thinking of the command line or " +"desktop as something that they can change." msgstr "" #. Tag: para @@ -252,9 +252,9 @@ msgstr "" msgid "" "GNU/Linux is also less likely to crash, better able to run more than one " "program at the same time, and more secure than many operating systems. With " -"these advantages, GNU/Linux is the fastest growing operating system in the " -"server market. More recently, GNU/Linux has begun to be popular among home " -"and business users as well." +"these advantages, Linux is the fastest growing operating system in the " +"server market. More recently, Linux has begun to be popular among home and " +"business users as well." msgstr "" #. Tag: title |