summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:49:16 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2020-05-12 22:49:16 -0700
commit8cf576367bfe1993a80ac8cf69a6624bf67a3f11 (patch)
treeee63bf80b305bb469296fb190711b03e33d2c0ad /Makefile
parent314b5a1ee2e0a14ced48cc15591f5725c080547f (diff)
Revert "Revert "CI: avoid using nmake.bat.""
This reverts commit 745b877835fed47e06daa3295aaf86312867f6f1.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions