Skip to content

turn gnu extensions off, update wali submodule#34

Merged
pdschubert merged 1 commit intosecure-software-engineering:developmentfrom MMory:developmentMay 2, 2019
+2-1

Commits

Commits on Apr 30, 2019