Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
iris
theories
algebra
frac_auth.v
Find file
Blame
History
Permalink
Rename `frag_auth_op` into `frac_auth_frag_op` (the old name was inconsistent).
· 463474fb
Robbert Krebbers
authored
May 17, 2018
`sed -i 's/frag_auth_op/frac_auth_frag_op/g' $(find -name "*.v")`
463474fb