diff options
author | Simon Peyton Jones <simonpj@microsoft.com> | 2015-01-08 15:50:22 +0000 |
---|---|---|
committer | Austin Seipp <aseipp@pobox.com> | 2015-01-23 07:10:16 -0600 |
commit | df0239b587e2a25531962f5b46f715ebb9b09685 (patch) | |
tree | 893241add5175b3abfa7fc99ab879724df25e733 /html-test/ref/mini_DeprecatedRecord.html | |
parent | bf77580eb40fa960b701296ac828372d127a43dd (diff) |
Track naming change in DataCon
(cherry picked from commit 04cf63d0195837ed52075ed7d2676e71831e8a0b)
Diffstat (limited to 'html-test/ref/mini_DeprecatedRecord.html')
0 files changed, 0 insertions, 0 deletions