tree 13f90e53dc77720fc14991394e3a10f829bb8352
parent 4fa28b385a8b36542cc4084fe6af710dab640feb
author Akron <nils@diewald-online.de> 1630054786 +0200
committer Akron <nils@diewald-online.de> 1630054786 +0200

Ignore tokenend accepting transitions