diff options
author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:47:40 -0700 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:47:40 -0700 |
commit | 314b5a1ee2e0a14ced48cc15591f5725c080547f (patch) | |
tree | dea019c1e438de87230e3b873e3c6c5d3ff21378 /data | |
parent | 745b877835fed47e06daa3295aaf86312867f6f1 (diff) |
Windows CI: specify cmd shell.
Diffstat (limited to 'data')
0 files changed, 0 insertions, 0 deletions