K 10
svn:author
V 3
jmg
K 8
svn:date
V 27
2015-08-01T17:27:47.730831Z
K 7
svn:log
V 147
use : instead of true...

Change file file to file1 file2, partly for igor, and partly because
it's odd to pass the same file to a command twice..

END