diff options
| author | Guillermo Ramos | 2015-02-06 12:25:01 +0100 |
|---|---|---|
| committer | Guillermo Ramos | 2015-02-06 12:25:01 +0100 |
| commit | 6ecf2269d23c48980e1217c0d5b55f50daa3b592 (patch) | |
| tree | 754ebbdbbee209bd44b0f0565934e22f3abc4f91 /Settings.hs | |
| parent | 1d549d66ac3cb7c7f64c5e05e3280a24e5a2269b (diff) | |
| download | turing-web-6ecf2269d23c48980e1217c0d5b55f50daa3b592.tar.gz | |
Highlight next transitions
Diffstat (limited to 'Settings.hs')
0 files changed, 0 insertions, 0 deletions