aboutsummaryrefslogtreecommitdiffhomepage
path: root/configure.ml
diff options
context:
space:
mode:
authorGravatar Matthieu Sozeau <mattam@mattam.org>2018-03-08 07:38:33 -0300
committerGravatar Matthieu Sozeau <mattam@mattam.org>2018-03-08 07:40:49 -0300
commita7dc1040e4fbd3e996f411f6c0e46e74cae8c93b (patch)
tree740f2fecbbbce2d29455a06b8e688efc624dbdfe /configure.ml
parentce87e338529f4dd174f1c870b83162bac6d2b9ae (diff)
Add test-suite file for cumulative constructors
Diffstat (limited to 'configure.ml')
0 files changed, 0 insertions, 0 deletions