| commit | 606d88c2851f1f1913f5d8a831a1ec52ee229254 | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Thu Dec 21 10:00:44 2017 +0000 |
| committer | Ed Willink <ed@willink.me.uk> | Thu Jan 18 12:00:26 2018 +0000 |
| tree | 015d4cc1dce55bf917bcec11a15f4ff8b9ac831e | |
| parent | db01113d3ea871f33c47be4f21988e9e553688aa [diff] |
[529060] No realization of abstract relation