| commit | ce4ce6d720ab90b2f1586ca3dd3b163ea2d4bb79 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Oct 01 09:04:00 2020 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Oct 01 09:04:00 2020 +0200 |
| tree | 57a6521fb4dc33ff8b9a3111fb421df26eb1cca8 | |
| parent | 3fd847ac27044da6bdc92d10077c30134cbcdb50 [diff] |
Update for StatET 4.2.0 release