log Makefile.in @ 1849:d34f50b7b9fd

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