diff options
| author | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 11:53:24 +0100 |
|---|---|---|
| committer | Daniel Friesel <daniel.friesel@uos.de> | 2019-11-25 11:53:24 +0100 |
| commit | 93c7025733b1c7901fa0365e547577d1155c36bd (patch) | |
| tree | cdfb23686f64f63e57b6484c5a877a23adc72c19 /lib/pubcode | |
| parent | 58caad188d5d4cd2ea6fb4c2da723d9cab379c0f (diff) | |
PTA: also supports non-accepting states
Diffstat (limited to 'lib/pubcode')
0 files changed, 0 insertions, 0 deletions