summary refs log tree commit diff
path: root/.dir-locals.el
diff options
context:
space:
mode:
authorRicardo Wurmus <rekado@elephly.net>2019-01-25 11:43:42 +0100
committerRicardo Wurmus <rekado@elephly.net>2019-01-25 13:21:19 +0100
commit7492af9be7ba33d94f5784b9eaf3ebeea487e64a (patch)
treea41acbe6c9438f7c42d7d64e678a01991463e01e /.dir-locals.el
parente09e83880f0ad1901011ae516db59495fe582caa (diff)
downloadguix-7492af9be7ba33d94f5784b9eaf3ebeea487e64a.tar.gz
gnu: coq-interval: Use INVOKE.
* gnu/packages/coq.scm (coq-interval)[arguments]: Use INVOKE.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions