commit | be615cae9e60afabeda149116a014fd5270d541f | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:01:49 2018 +0200 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:14:47 2018 +0200 |
tree | a261d0c673762640b9583ddeaa4a0a6a72259cbd | |
parent | 9ae9548ca74c39e8565f977c83972b998a1fd30e [diff] |
Update declarations for StatET 4.0