| commit | 92b64c58b28fd42f3fc9d5c1ac2528b47f561951 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Aug 19 18:29:45 2021 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Aug 19 18:29:45 2021 +0200 |
| tree | 2667fa1102f1fcc73f48340b443efd7c82ad0dc0 | |
| parent | 3492de92aa60570c29ac2e84972b5da75797960e [diff] |
Update for StatET 4.4.1 release