projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3742692) | patch
remove unused import
authorJoey Hess <joeyh@joeyh.name>
Fri, 2 Oct 2020 17:45:09 +0000 (13:45 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 2 Oct 2020 17:45:09 +0000 (13:45 -0400)
commit10e62a810e16eee35427729cff0b61e2320ebb7b
tree01b6c97ca3c4540b5d13bb734bb8b2fa268f595atree | snapshot
parent37426920d86884d2962a662c77d6c6f910828817commit | diff
remove unused import
Database/Benchmark.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.