commit | 771dcb291456948a1eb3d6a5493018d2ff84d35e | [log] [tgz] |
---|---|---|
author | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Dec 31 17:23:16 2020 +0100 |
committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Thu Dec 31 17:23:59 2020 +0100 |
tree | bb56d276c0664ec035f3f7e90c7ff418c98def6b | |
parent | 904bfedd2ee3e44d206dd5f67d319b77ab8e6152 [diff] |
Update for StatET 4.2.2 release Signed-off-by: Stephan Wahlbrink <sw@wahlbrink.eu>