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 /man | |
| parent | 745b877835fed47e06daa3295aaf86312867f6f1 (diff) | |
Windows CI: specify cmd shell.
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions