summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorLudovic Courtès <ludo@gnu.org>2019-01-17 15:07:07 +0100
committerLudovic Courtès <ludo@gnu.org>2019-01-18 17:51:34 +0100
commit7bf1dc75706d558cea41e24ce90f2eb0c026996d (patch)
treee1d273d727a224a7d3d1a165373775effcf967fb /tests
parentcf22e99f0252a4712ab94d630dc4914c9a89f18d (diff)
build: Add coq.scm to the distribution.
This is a followup to 33af92dd99c9f2c726c32f81936931c69d719eb9. * gnu/local.mk (GNU_SYSTEM_MODULES): Add gnu/packages/coq.scm.
Diffstat (limited to 'tests')
0 files changed, 0 insertions, 0 deletions