| commit | c0f2e4a56f12f4a64d20310caa20433396a751ee | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Jul 08 14:38:04 2021 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Jul 08 14:38:04 2021 +0200 |
| tree | 8663efa846ec1c2f31fa7f1366262d25d8650217 | |
| parent | b532e5bffa45f871fd1e3293b96169b43523ee63 [diff] |
Update for StatET 4.4.0 release