| commit | 580c005e45ace161283a94cd03ac1e6cfee93fd8 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:04:38 2018 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:14:12 2018 +0200 |
| tree | bd1a4c89dd215151cac577c4235404e6e7721fd6 | |
| parent | 6230f4ba91a614dd3cb0565cf6a8bfb7f567640d [diff] |
Update declarations for StatET 4.0