Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
Ralf Jung's avatar
Ralf Jung authored
State `bi_mono_pred` using `□`/`-∗` instead of `<pers>`/`→`.

See merge request iris/iris!714
ebce5b7c
History
Name Last commit Last update