projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6472da2) | patch
new make dev target
authorJoey Hess <joeyh@joeyh.name>
Fri, 15 Sep 2023 12:10:32 +0000 (08:10 -0400)
committerJoey Hess <joeyh@joeyh.name>
Fri, 15 Sep 2023 12:10:32 +0000 (08:10 -0400)
commit9d2e8e2caae0e84c549a930bd81455feec0273ce
treeabade275016bf6f11ebf5756c2d36afff69018aetree | snapshot
parent6472da265bafd6b3ebec518226cd992c8d41cdb3commit | diff
new make dev target

rename old to make prof
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.