Skip to content
Verified Commit a64290e5 authored by Bernd Paysan's avatar Bernd Paysan
Browse files

make intsem: more intuitive

parent 3b3e6f2b