]> dgit.raspbian.org Git - git-annex.git/commit
generalize refreshIndex to MonadIO
authorJoey Hess <joeyh@joeyh.name>
Fri, 23 Sep 2022 18:28:52 +0000 (14:28 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 23 Sep 2022 18:28:52 +0000 (14:28 -0400)
commit9c76e503cff2d0f13a7aec027d8e20771ef09063
treeb651fd4da1e4382883177ea178fc2c19fea44a6b
parentb17e32817596c96955a66738ab272804ba3e5137
generalize refreshIndex to MonadIO

Sponsored-by: Dartmouth College's DANDI project
Git/UpdateIndex.hs