Skip to content
GitLab
Explore
Sign in
Simon Friis Vindum
examples
Repository
examples
opam
Find file
Blame
History
Permalink
Merge branch 'ralf/string-ident' into 'master'
· 38c5bcec
Ralf Jung
authored
Apr 10, 2020
use string-ident plugin a bit See merge request
iris/examples!32
38c5bcec