diff options
author | Daniel Friesel <derf@finalrewind.org> | 2019-02-21 16:42:16 +0100 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2019-02-21 16:42:16 +0100 |
commit | 6e72c1b2b53e2290dc5cb7aa218c620a0ee979d4 (patch) | |
tree | 086ffd7f5833f74dde206c925b7ec17186388ad0 /lib/utils.py | |
parent | 115274b46b61180ca1fea79511482fc704b552ca (diff) |
PTA trace: Return transition objects, not just names
Diffstat (limited to 'lib/utils.py')
0 files changed, 0 insertions, 0 deletions