diff options
author | Thomas Winant <thomas.winant@cs.kuleuven.be> | 2014-08-06 10:26:54 +0200 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2014-11-28 16:11:22 -0600 |
commit | 1a9dcfef033dd66514015d4a942ba67d21f95482 (patch) | |
tree | f0b19c268f65dd8e84112c4f22a81c9680628789 /html-test/ref/mini_Test.html | |
parent | 5d8117d8f1f910c85d36865d646b65510b23583d (diff) |
Support for PartialTypeSignatures
Diffstat (limited to 'html-test/ref/mini_Test.html')
0 files changed, 0 insertions, 0 deletions