| commit | 4e4a1e7f8a5384c728d4051761a3b58d2024e003 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:03:21 2018 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Mon Sep 10 21:14:36 2018 +0200 |
| tree | e07b374077a8ff362468105389d483decdbb07b4 | |
| parent | 00deee80aedde4a64f4395b5dc50e03186fb835e [diff] |
Update declarations for StatET 4.0