chiark / gitweb /
Makefile: Spruce up and release 1.2.0.