diff options
| author | Mikkel Hjortshøj <fyoucon@gmail.com> | 2019-10-27 18:12:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-10-27 18:12:23 +0100 |
| commit | a7a31e4c23ee2385e5cfa93863b3bb64aa88121c (patch) | |
| tree | 2c873f7a8a3cff942570a4342976d9fce06518eb /src/check_type.cpp | |
| parent | 72cad591bd64ff221b01161856693b758d1c1417 (diff) | |
Set CI shell on windows to cmd.exe
Diffstat (limited to 'src/check_type.cpp')
0 files changed, 0 insertions, 0 deletions