| commit | 58b222f221e35b74ac4de1aa7ecb11e6a8167eb3 | [log] [tgz] |
|---|---|---|
| author | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Mar 29 21:10:11 2023 +0200 |
| committer | Stephan Wahlbrink <sw@wahlbrink.eu> | Wed Mar 29 21:11:06 2023 +0200 |
| tree | fc711d943fb39b00b73bcc71005abf1164d1ca27 | |
| parent | 6afe5eeb1116ab7e9d2829541f64a9c1007d2021 [diff] |
Enhance N&N for StatET 4.7