Commit 5415655556f118165e3643dc22d370cb9fef469b

Stefan Sperling 2018-12-24T10:58:32

undo commit timestamps next to paths in diffs; they are redundant