diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-09 16:52:46 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-01-09 16:52:46 +0100 |
| commit | 52165fa12de7ca76898a7c1855a2f23797b2c2ed (patch) | |
| tree | 763367d1350a429505e15fb0878b9a0711850bd8 /platform/x11 | |
| parent | 29ae3e5f33b7afa382c277b342bb00a1ee5aa5a8 (diff) | |
Fix bindings of EditorSettings.set_initial_value
Also ran doctool.
Diffstat (limited to 'platform/x11')
0 files changed, 0 insertions, 0 deletions