rename --when to --interval
authorJoey Hess <joeyh@joeyh.name>
Tue, 14 Nov 2023 15:45:16 +0000 (11:45 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 14 Nov 2023 15:45:16 +0000 (11:45 -0400)
commit21e66ce209af75bcc4c7c571c45e12341d136533
tree78b9b25e0f2408174684d8400681447859990bef
parent1ddec09f7ca7e2e9aa4577639061cf160a28d117
rename --when to --interval

More accurately describes its behavior.
Command/Log.hs
doc/git-annex-log.mdwn