Skip to content
GitLab
Explore
Sign in
Lennard Gäher
Iris
Repository
iris
iris
bi
plainly.v
Find file
Blame
History
Permalink
Remove old `Hint Extern` hack for `impl_persistent` that seems no longer needed.
· 4973d0b3
Robbert Krebbers
authored
Dec 23, 2020
4973d0b3