diff options
| author | Alasdair Armstrong | 2019-01-21 19:05:39 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-01-21 19:07:39 +0000 |
| commit | 864fb194128fa36990a53b80d000092e4b76b5fc (patch) | |
| tree | 7306853b63fc0cf7fae074b0df2a12b7e0733d6a /src/interactive.ml | |
| parent | 2c81fff611c458fe04b2de2045247bdc77f8f80a (diff) | |
Remove old emacs mode to avoid confusion
Diffstat (limited to 'src/interactive.ml')
0 files changed, 0 insertions, 0 deletions