projects / git-annex.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d41795c) | patch
enable profiling in dev build
authorJoey Hess <joeyh@joeyh.name>
Tue, 13 Oct 2020 19:36:01 +0000 (15:36 -0400)
committerJoey Hess <joeyh@joeyh.name>
Tue, 13 Oct 2020 19:36:01 +0000 (15:36 -0400)
commitc703c6f2950905e90b8187c76e4c4d18b82cccf1
treeaa5f3c37721372ad6035959be95fe879a4a04ce3tree | snapshot
parentd41795c8ff2cb8fb22a245f0094b83769a749918commit | diff
enable profiling in dev build
Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.