diff options
| author | Sylvain Henry <sylvain@haskus.fr> | 2020-04-01 14:06:42 +0200 |
|---|---|---|
| committer | Sylvain Henry <sylvain@haskus.fr> | 2020-04-05 16:43:44 +0200 |
| commit | 38036137bce2587c6d50756f6fab8cfafeb5a63b (patch) | |
| tree | 46d459989eb9bc28f4d035b5639d96bf88912ccf /html-test/ref/GadtConstructorArgs.html | |
| parent | 163da78031d7959e5e00c35ade1573bf373f71bc (diff) | |
Module renaming: amend previous patch
Diffstat (limited to 'html-test/ref/GadtConstructorArgs.html')
0 files changed, 0 insertions, 0 deletions