diff options
| author | ruki <[email protected]> | 2018-08-14 22:38:41 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2018-08-14 09:52:06 +0800 |
| commit | e5011cbbe2717c0fd07c4da2394f6ced07a3f6cc (patch) | |
| tree | c0259e6740ef07adb0d94a21656e5fca4a766cf8 /scripts/makepkg | |
| parent | 96de3aa701d92ceb2162d519d3ea9679c32f655a (diff) | |
case-insensitive for windows path
Diffstat (limited to 'scripts/makepkg')
0 files changed, 0 insertions, 0 deletions