Write -date stamp always with 10 characters
authorH.G. Muller <h.g.muller@hccnet.nl>
Fri, 27 Dec 2013 21:00:43 +0000 (22:00 +0100)
committerH.G. Muller <h.g.muller@hccnet.nl>
Sat, 4 Jan 2014 11:49:09 +0000 (12:49 +0100)
commit0d7cbd3e93e8868922b92d5ada9a41991bbcfe8b
tree5de8445350e6074393e6c8d1243166e6e3aa35d6
parente5b66e5d3691c26f964cc9ace83baecb4c5e87ec
Write -date stamp always with 10 characters

To make it easier to replace date stamps on uninstall, we give them
fixed length.
args.h