diff options
| author | jdhao <jdhao@hotmail.com> | 2020-10-18 22:54:07 +0800 |
|---|---|---|
| committer | jdhao <jdhao@hotmail.com> | 2020-10-18 22:54:07 +0800 |
| commit | 9718b60dbfa0406b2edb48a77828933e08ae641f (patch) | |
| tree | a7ca1fb65396a6219657fb859bb21065e82cc0b4 /tools/build.bat | |
| parent | bf144dbd708b28607758c10db8308379d7ab87c7 (diff) | |
do not set colorscheme if user color scheme not found
Diffstat (limited to 'tools/build.bat')
0 files changed, 0 insertions, 0 deletions