diff options
author | Holger Wansing <hwansing@mailbox.org> | 2019-08-07 23:24:13 +0200 |
---|---|---|
committer | Holger Wansing <hwansing@mailbox.org> | 2019-08-07 23:24:13 +0200 |
commit | 3ff871a54741464defa4bbec4c349f164b78a321 (patch) | |
tree | 6abdb777b1fa7f44421b7e1b719f2d35eafe8037 /po/pt/gpl.po | |
parent | d9cc3e0f04b7c80f99c961563f7e94bcc09a0773 (diff) | |
download | installation-guide-3ff871a54741464defa4bbec4c349f164b78a321.zip |
Correction: use <userinput> </userinput> tags within informalexample; <quote> </quote> does not work there.
Diffstat (limited to 'po/pt/gpl.po')
0 files changed, 0 insertions, 0 deletions