diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-07-04 14:38:41 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2018-07-04 14:38:50 +0200 |
| commit | 1756cb4472ada1aed2c0c7a8b0b68edb3b06f9c9 (patch) | |
| tree | 44df1b43074e06caf80c387e87442bccca01f64c /contrib/devtools/gen-manpages.sh | |
| parent | 5c05dd6285dd9b8b7faab811df63dda2a813a54f (diff) | |
| parent | 747ee89b4cabfe91e0cbcd6ba51a46ed3e29f0e6 (diff) | |
Merge #13592: Docs: Modify policy to not translate command-line help
747ee89b4 Docs: Modify policy to not translate command-line help (Chun Kuan Lee)
Pull request description:
After #13341, command-line helps would no longer be translated.
Tree-SHA512: 73e7a7545b316cc6ec07f2527cc0e63c922d8e382abd779638583d55a4ee0f3b26ecc9d63f51da8bab2eda9829ec5d1b3162a1115c78a1add2621ba2ccdb839e
Diffstat (limited to 'contrib/devtools/gen-manpages.sh')
0 files changed, 0 insertions, 0 deletions