CHANGELOG.md · 7ae0b644670bf979deead43fb3170cdf70577079 · Abhishek Anand / Iris · GitLab

Snippets Groups Projects

Forked from Iris / Iris

Source project has a limited visibility.

6 years ago
876771df
Rename `cmra_opM_assoc` → `cmra_op_opM_assoc` and `cmra_opM_assoc'` → `cmra_opM_opM_assoc`. · 876771df
Robbert Krebbers authored 6 years ago
```
Thanks to @jung for proposing these names.
```
876771df

History
Rename `cmra_opM_assoc` → `cmra_op_opM_assoc` and `cmra_opM_assoc'` → `cmra_opM_opM_assoc`.
Robbert Krebbers authored 6 years ago
```
Thanks to @jung for proposing these names.
```

To find the state of this project's repository at the time of any of these versions, check out the tags.