| commit | c5d8d4353c0ae734a3ff6e6a94a85aac377dd4ed | [log] [tgz] |
|---|---|---|
| author | Akron <nils@diewald-online.de> | Tue Aug 10 16:48:44 2021 +0200 |
| committer | Akron <nils@diewald-online.de> | Tue Aug 10 16:48:44 2021 +0200 |
| tree | 5dde9d1d30c8cf4c5ed56b66aeb339913e3880d9 | |
| parent | b7e1f133b92aa7cccbcab20b33132c3917a2ad2f [diff] |
Fix check on final states