chiark / gitweb /
docs: clear timestamp embedded in DVI comment field
authorReiner Herrmann <reiner@reiner-h.de>
Fri, 30 Oct 2015 18:27:18 +0000 (19:27 +0100)
committerReiner Herrmann <reiner@reiner-h.de>
Fri, 30 Oct 2015 18:27:18 +0000 (19:27 +0100)
commitf3d0d44a60cf35e564e69724c5cec1d82238d433
tree3586cf44416b6f0add58475a021a87268c86d118
parent3ace102bd520de0cdc4f70c09f7b6a179c9d24db
docs: clear timestamp embedded in DVI comment field
docs/gendocs.sh