Skip to content
GitLab
Explore
Sign in
Iris
Iron
Repository
iron
README.md
Find file
Blame
History
Permalink
Rename `_open` -> `_acc` to be consistent with Iris.
· ffbf81d9
Robbert Krebbers
authored
Feb 16, 2020
ffbf81d9