| commit | 71b06a441f17a499123128e3d2109a32b8648fad | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Mon Feb 27 09:21:46 2017 +0000 |
| committer | Ed Willink <ed@willink.me.uk> | Mon Feb 27 09:47:51 2017 +0000 |
| tree | 8023a86f4cedafd9903ddf22285b5b28716c9945 | |
| parent | 22e80f43660a9ddb2bb5d69afb5c983d05839c10 [diff] |
[unrelated] Enable default multiplicities to appear in debug toString's