log Makefile.in @ 1839:ce17be95a42a

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