| commit | 883c9c7f0866046003759b9c874287154ea3c6ad | [log] [tgz] |
|---|---|---|
| author | Ed Willink <ed@willink.me.uk> | Mon Mar 02 17:21:32 2020 +0000 |
| committer | Ed Willink <ed@willink.me.uk> | Mon Mar 02 17:21:32 2020 +0000 |
| tree | b24e0bf0a3ae98f2a477cfe89b26b9391706f6f1 | |
| parent | ddd2c334a2f8f40a13d2805f16b82bfffdccda99 [diff] |
[qvt] Withdrawn submission for ECMFA 2020
