chiark / gitweb /
time-util: also rename FORMAT_TIMESTAMP_PRETTY → _MAX