Adapt print/messaget API, get_error_found#12
Merged
mgudemann merged 2 commits intomasterfrom fix/compilation_with_changed_messagetJun 14, 2017
+13-8
Commits
Commits on Jun 5, 2017
- committed
Matthias Güdemann
Commits on Jun 7, 2017
- committedMatthias Güdemann