Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
iris
parameter.v
Find file
Blame
History
Permalink
No need to 'Set Bullet Behavior' everywhere.
· 161e23ca
Robbert Krebbers
authored
Jan 20, 2016
Since ssr ad273277 the Global Set Bullet Behavior in modures.base should do the job.
161e23ca