diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-13 15:05:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-13 15:05:57 +0200 |
| commit | 060c5c0e026364d5d8db43aea00fa3dd359a2237 (patch) | |
| tree | 26e5839c076b66c0b50f4a66126523dbbe18e5b2 /doc/classes/World.xml | |
| parent | 36ca9c9251918d91b29d0d91ece83087a8f186e6 (diff) | |
| parent | 98322a8876dc99b680da9491ad60ea6cb568fb3c (diff) | |
Merge pull request #12070 from Noshyaar/pr-eh
EditorHelp: use '<' to show inheritance
[ci skip]
Diffstat (limited to 'doc/classes/World.xml')
0 files changed, 0 insertions, 0 deletions