aboutsummaryrefslogtreecommitdiff
path: root/.mailmap
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-01-25 09:24:41 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-01-25 13:21:18 +0100
commita48d6acc23f426ca70e190e717a20cdb21df297f (patch)
treed6d2c14663f7c3ceb6cc5eb4ac5125f5081e50be /.mailmap
parent8543ccf87b9a8664fd02d595e8015c62d0f6841d (diff)
downloadpatches-a48d6acc23f426ca70e190e717a20cdb21df297f.tar
patches-a48d6acc23f426ca70e190e717a20cdb21df297f.tar.gz
gnu: proof-general: Use INVOKE.
* gnu/packages/coq.scm (proof-general)[arguments]: Use INVOKE in build phases.
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions