diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-01-30 10:37:13 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-02-14 10:17:00 -0500 |
commit | b613a961be70e75747816be4d7642b6378a84c3f (patch) | |
tree | 89d96fa3651055658d11d4c4ea37d9b2a1092509 /docs/users_guide/compare-flags.py | |
parent | 261a3cf83b757f6422acafa6e436ea7bb05ff532 (diff) | |
download | haskell-b613a961be70e75747816be4d7642b6378a84c3f.tar.gz |
gitlab-ci: Always use mingw64 python on Windows
Diffstat (limited to 'docs/users_guide/compare-flags.py')
0 files changed, 0 insertions, 0 deletions