| commit | 180217d3e812c7a37cef0d7d45cfee93d659f7af | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:34:22 2018 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:34:22 2018 +0200 |
| tree | a83843c6224883e47a3aee17d76e798636f37632 | |
| parent | db76b086f215f6bc04763bc7d6fb6338c68f009c [diff] |
Update declarations for StatET 4.0