projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5e39b7e) | patch
fix build warning
authorJoey Hess <joeyh@joeyh.name>
Wed, 13 Jan 2021 18:48:41 +0000 (14:48 -0400)
committerJoey Hess <joeyh@joeyh.name>
Wed, 13 Jan 2021 18:48:41 +0000 (14:48 -0400)
commitfb921cd0b08098564bc252af8ad08606a1a673ad
tree1da9e9e5a41527f651f2c6bc7526f7f27dfc9213tree | snapshot
parent5e39b7eb8d1915bbf071d7b828cf73c25eafb425commit | diff
fix build warning
Utility/QuickCheck.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.