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 /%25253fid%25253da11818067254faa2a21477c638227ec8a063310b%253fid%253d0c18102d8b41f6e6816bf579b4c8f833903c4b15%3fid%3d2a250f27da61b0e24c5df5595f073d170fd3f0c8?id=3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2 | |
| parent | 9874ae37a1f4b90d9a2c0abd25be2925311263fa (diff) | |
Switch on current state rather than character
Diffstat (limited to '%25253fid%25253da11818067254faa2a21477c638227ec8a063310b%253fid%253d0c18102d8b41f6e6816bf579b4c8f833903c4b15%3fid%3d2a250f27da61b0e24c5df5595f073d170fd3f0c8?id=3b4d3075a082eaafe18ebd86ec19cc269dc9dfd2')
0 files changed, 0 insertions, 0 deletions