diff options
author | Julian Eisel <eiseljulian@gmail.com> | 2016-10-03 14:26:52 +0300 |
---|---|---|
committer | Julian Eisel <eiseljulian@gmail.com> | 2016-10-03 14:47:00 +0300 |
commit | e8c8db4833e9c5b0812412f626087c42294cc44f (patch) | |
tree | fbc50f32414a98790d79a2198705063e240aa9be /make.bat | |
parent | c5e10394b45a3cdd005a43a45a055e7a814a181b (diff) |
Fix T49506: Remove unused File Browser theme settings
If I didn't miss anything these are indeed not used. Old themes should still work (will only print info on redundant theme defines into console), but updated non-contrib themes already.
Diffstat (limited to 'make.bat')
0 files changed, 0 insertions, 0 deletions