diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2021-12-21 10:53:07 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2021-12-21 13:47:11 +0100 |
commit | b98785309f9e8f64299fa39403266cc743bde722 (patch) | |
tree | ad0f76a6d9f2236b0071f3d1172b7c939e5e6e90 /editor/icons/NavigationPolygon.svg | |
parent | d321858732c83f1aecfbc7e3de4c347cd509639e (diff) |
i18n: Add `--lang` option to `make_rst.py` to write translated headings
Add a few missing headings to the translation templates.
Diffstat (limited to 'editor/icons/NavigationPolygon.svg')
0 files changed, 0 insertions, 0 deletions