diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2016-05-21 18:57:48 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-05-21 18:59:27 +0200 |
| commit | 8d300cc8a85e2f9e8fc710f524b6817c27fc30bb (patch) | |
| tree | ec669adc8af9b2302272329ebed557d5cdc90388 /tools/editor/property_editor.h | |
| parent | 1c8a447cb652ee332b2add03c9ad1cc571965a36 (diff) | |
i18n: Disable line numbers in location context
Can be toggled on with --with-line-nb.
Diffstat (limited to 'tools/editor/property_editor.h')
0 files changed, 0 insertions, 0 deletions