diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-27 07:03:24 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-03-27 07:03:24 +0000 |
commit | 9816bc5b2dbcaffe9c7c245fad6020a8b37b3531 (patch) | |
tree | 68dca6141a2e3c7eb79b9b766e5833e9ecd695b5 /editors/code/src/commands | |
parent | de8f72aad9d708fd26e450779623dd5cd4e38568 (diff) | |
parent | 8890539e400d20f44b85f056b0b456967f5a1a53 (diff) |
Merge #1061
1061: Use EXE extension for pre-commit hook on Window r=matklad a=hban
Tested on Git Bash, CMD and Powershell.
Closes: #875
Co-authored-by: Hrvoje Ban <[email protected]>
Diffstat (limited to 'editors/code/src/commands')
0 files changed, 0 insertions, 0 deletions