summary refs log tree commit diff
path: root/gnu/packages/agda.scm
diff options
context:
space:
mode:
authorMark H Weaver <mhw@netris.org>2018-03-23 02:26:50 -0400
committerMark H Weaver <mhw@netris.org>2018-03-23 04:42:04 -0400
commitecb67a18b0acff90dfb275feefc407bbc947c23e (patch)
tree752dbcdf24f5b236e69acd314421f68496ed2bb3 /gnu/packages/agda.scm
parenteb075eddfcbe17b73f3bce9e932c234e50aad3a5 (diff)
downloadguix-ecb67a18b0acff90dfb275feefc407bbc947c23e.tar.gz
gnu: git: Return #t from all phases.
* gnu/packages/version-control.scm (git)[arguments]: Return #t from
the 'split' phase.  Use 'invoke' in the 'install-man-pages' phase.
Diffstat (limited to 'gnu/packages/agda.scm')
0 files changed, 0 insertions, 0 deletions