Commit b1dab7360ee9104e1c81d2010369bb2075811eb7 Parent 4a47e6a34ce136658f790d78c9670efe2415a78e Author John MacFarlane <jgm@berkeley.edu> Date Wed, 13 May 2020 15:40:56 -0700 Add lint target to Makefile