projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa5e333) | patch
enable TypeOperators
authorJoey Hess <joeyh@joeyh.name>
Tue, 1 Aug 2023 22:39:01 +0000 (18:39 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 1 Aug 2023 22:39:01 +0000 (18:39 -0400)
commit4ef16f53ed809fc574e185f613dddaef09d8a237
tree31d3b3cac9429b079693e285d6e2b2d82c3687c3tree | snapshot
parentaa5e333cb7305c84818f30c0a88dda8ba677a801commit | diff
enable TypeOperators
Assistant/WebApp/Configurators/Local.hs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.