diff options
| author | Mario Forzanini <mario.forzainin@studenti.unimi.it> | 2022-03-17 15:55:33 +0100 |
|---|---|---|
| committer | Mario Forzanini <mario.forzainin@studenti.unimi.it> | 2022-03-17 15:55:33 +0100 |
| commit | 3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2 (patch) | |
| tree | b01b9904d9a6bb222b529924bd0368ed9456b746 /%253fid%253d3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2%3fid%3d3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2?id=3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2 | |
| parent | 9874ae37a1f4b90d9a2c0abd25be2925311263fa (diff) | |
Switch on current state rather than character
Diffstat (limited to '%253fid%253d3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2%3fid%3d3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2?id=3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2')
0 files changed, 0 insertions, 0 deletions