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 /.arclint | |
| parent | bf77580eb40fa960b701296ac828372d127a43dd (diff) | |
Track naming change in DataCon
(cherry picked from commit 04cf63d0195837ed52075ed7d2676e71831e8a0b)
Diffstat (limited to '.arclint')
0 files changed, 0 insertions, 0 deletions