Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
ProofMode.md
Find file
Blame
History
Permalink
Added note about unicode asterisk to docs
· 77695c5f
Mackie Loeffel
authored
Jan 23, 2019
77695c5f