diff options
author | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2018-06-06 17:55:33 -0300 |
---|---|---|
committer | Guilherme Felipe <guilhermefelipecgs@gmail.com> | 2018-06-06 17:58:12 -0300 |
commit | 048f149478bf72061613a553f5cfc3d4fa8d4d1a (patch) | |
tree | 23c89ec0b1b5b11a31e726b991ccc246783f1d52 /editor/find_in_files.cpp | |
parent | aaf93f92d8ba9bef29f42b590782fc6f0fad6fdc (diff) |
Fix theme not updating with changes
Diffstat (limited to 'editor/find_in_files.cpp')
0 files changed, 0 insertions, 0 deletions