projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5a723f4) | patch
switch from hothasktags to hasktags
authorJoey Hess <joeyh@joeyh.name>
Thu, 24 Mar 2022 17:07:49 +0000 (13:07 -0400)
committerJoey Hess <joeyh@joeyh.name>
Thu, 24 Mar 2022 17:29:40 +0000 (13:29 -0400)
commitfdcb14d475f2b4e5735bcc3016fa4fe83dfb1ef4
tree43a7f675c312309d6e7c2a6cd47e459c10fe092dtree | snapshot
parent5a723f4644f4b3d46179d838bce5595ee397f9a7commit | diff
switch from hothasktags to hasktags

hothasktags was removed from Debian. And in the meantime hasktags
improved so it works well in the source tree.

Also make dev update tags.

Sponsored-by: Jack Hill on Patreon
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.