diff options
author | Juan Linietsky <reduzio@gmail.com> | 2018-11-14 12:23:47 -0300 |
---|---|---|
committer | Juan Linietsky <reduzio@gmail.com> | 2018-11-14 21:21:51 -0300 |
commit | 5f4485d4ffbdeb8c410933607547a3df665c5b7a (patch) | |
tree | e1d725acb776a14c1d11488496d57212449ca8c6 /servers/server_wrap_mt_common.h | |
parent | d2e642b2dc088486ac040c64dbc008dbf918f534 (diff) |
Always use default theme for overrides, closes #13071
Diffstat (limited to 'servers/server_wrap_mt_common.h')
0 files changed, 0 insertions, 0 deletions