diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-18 14:41:52 +0200 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2018-04-18 14:52:05 +0200 |
commit | ff8c07448010d4e9c3a392aa82a09b9e77ef6d14 (patch) | |
tree | 6cc04daebbd4b271f6632e0a757fdbce00962d37 /editor/icons | |
parent | a2f26a96dc6a09eaba796c89f3bd17b9e73848a4 (diff) |
Fix case mismatch check on Windows
@reduz pushed the old 44989bc95754b40f4c00f10db43ed91f64a3e475 commit
today which he had forgotten in his local clone, and apparently it does
not compile. Also fixed style.
Diffstat (limited to 'editor/icons')
0 files changed, 0 insertions, 0 deletions