log Makefile.in @ 1846:39a27a02f1ae

age author description
Mon, 18 Oct 2021 15:17:14 +0800 Matt Johnston Rename "make test" to "make check". Also run lint