aboutsummaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorBen Gamari <ben@smart-cactus.org>2016-02-08 14:37:49 +0100
committerBen Gamari <ben@smart-cactus.org>2016-02-08 15:36:08 +0100
commita427f597e081ce37a881e6612efeab7ef0bb0dac (patch)
tree43246f722a0f28614019243e34dfd83e5ca29217 /doc
parent9c23d5d3a21c8ef36204a4d66da4cdf488a08f72 (diff)
hypsrc-test: Accept test output
And fix impredicative Polymorphism testcase.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions