Skip to content

v7.0.1

Compare
Choose a tag to compare
@ju-manns ju-manns released this 14 May 09:31
· 114 commits to master since this release
Merge branch 'website-cosmetics' into 'bugfix-70'

Website cosmetics

See merge request integer/soplex!454