commit | d65ca135dd19f7980e8e7350604fe3a366291221 | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Mar 25 10:55:11 2021 +0100 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Mar 25 10:55:11 2021 +0100 |
tree | d577383b41963e86fafd3d32ae5e24df2dc33cab | |
parent | 965673c89c07a8f16504b954ea5e4b963f049cb2 [diff] |
Update for StatET 4.2.4 release Signed-off-by: Stephan Wahlbrink <sw@wahlbrink.eu>