diff options
| author | Guillermo Ramos | 2015-02-05 18:18:16 +0100 |
|---|---|---|
| committer | Guillermo Ramos | 2015-02-05 18:18:16 +0100 |
| commit | 1d549d66ac3cb7c7f64c5e05e3280a24e5a2269b (patch) | |
| tree | f8d66210d7837b6ab36bcc9e14a53057a0c14620 /.dir-locals.el | |
| parent | 3e18d13c523b9c537eb53f9b926ce9f2ff201fd9 (diff) | |
| download | turing-web-1d549d66ac3cb7c7f64c5e05e3280a24e5a2269b.tar.gz | |
Improved transition table pp'ing
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions