diff options
| author | Rasmus Andersson <rasmus@notion.se> | 2021-03-29 00:38:12 +0300 |
|---|---|---|
| committer | Rasmus Andersson <rasmus@notion.se> | 2021-03-29 00:38:12 +0300 |
| commit | 8977505c249e62ff231d9534c10b94d462bb2fec (patch) | |
| tree | d1bc60a2889c3105c8dddc8f6c3e5d24b8bb71af /misc | |
| parent | 83ea4c57ee626e76f5cedaa44195aa30e844e1d8 (diff) | |
| download | inter-8977505c249e62ff231d9534c10b94d462bb2fec.tar.xz | |
Ditches iota1 and Iota1 in favor of mapping CPs to iota et al. Closes #340
Diffstat (limited to 'misc')
0 files changed, 0 insertions, 0 deletions