path: root/updateTimes.sh

#!/bin/bash
# used with a pre-commit hook that executes this script and then runs:
# git add .times
whenwasit --ignore .times-ignore . > .times