diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:49:16 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2020-05-12 22:49:16 -0700 |
| commit | 8cf576367bfe1993a80ac8cf69a6624bf67a3f11 (patch) | |
| tree | ee63bf80b305bb469296fb190711b03e33d2c0ad /Makefile | |
| parent | 314b5a1ee2e0a14ced48cc15591f5725c080547f (diff) | |
Revert "Revert "CI: avoid using nmake.bat.""
This reverts commit 745b877835fed47e06daa3295aaf86312867f6f1.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions