little thing meant to be called in a git-hook as to keep track of
file creation and modification dates, which are important to me.