diff options
author | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:17:59 -0500 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2020-12-15 15:17:59 -0500 |
commit | 4c6b8d4bb722b6e51406aa0afc334cc437461424 (patch) | |
tree | c158fbf692f4e7a50cc286a494068d9ebb428b5c /html-test/ref/ConstructorPatternExport.html | |
parent | 4ffb30d8b637ccebecc81ce610f0af451ac8088d (diff) |
Revert "Update for boxed rep"
This reverts commit 4ffb30d8b637ccebecc81ce610f0af451ac8088d.
Diffstat (limited to 'html-test/ref/ConstructorPatternExport.html')
0 files changed, 0 insertions, 0 deletions