diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-11-27 23:03:43 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-27 23:03:43 +0100 |
commit | 9a406da44e9ffd37e2bf4b1874a1df58827d27ab (patch) | |
tree | 1d357165690b85c773844c1536c798da403f4c7d /doc/classes/int.xml | |
parent | ad351a29db8328c82838a8aaf070eb111116d632 (diff) | |
parent | 499e1b7a8083b2853ef25300e77717780320111d (diff) |
Merge pull request #13342 from Noshyaar/just_godot
EditorAbout: single-column'd some section, monospace
Diffstat (limited to 'doc/classes/int.xml')
0 files changed, 0 insertions, 0 deletions