Skip to content
GitLab
Explore
Sign in
Rodolphe Lepigre
Iris
Repository
iris
barrier
heap_lang.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