| commit | 4fc563131b19d1341c98351faa263ea4800f8ab7 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:15:39 2018 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:18:21 2018 +0200 |
| tree | bc31fb4f8af2861e9483ac1eab36f6b5c47296e5 | |
| parent | 6a0418499c56ffc464e5d75ecd7286adfed60b4a [diff] |
Update declarations for StatET 4.0