diff options
author | Thomas Herzog <thomas.herzog@mail.com> | 2017-11-03 15:07:31 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-11-03 15:07:31 +0100 |
commit | 8e145fa1a80bcd860dd8e16d7db684f9905865e8 (patch) | |
tree | a6a4ae24cd389f825f019330c50f415c04cdc7c4 /editor/editor_path.h | |
parent | c880302754352dce1e44bf00bf9b1ac20e71cd1d (diff) | |
parent | 38d56c8351838fce3005ab92440c4c2320d92b0f (diff) |
Merge pull request #12608 from karroffel/configfile-orderedhashmap
make ConfigFile use OrderedHashMap
Diffstat (limited to 'editor/editor_path.h')
0 files changed, 0 insertions, 0 deletions