diff options
| author | Emil Velikov <[email protected]> | 2018-11-21 05:21:58 +0000 |
|---|---|---|
| committer | Emil Velikov <[email protected]> | 2019-01-24 18:13:25 +0000 |
| commit | 8a0012692a5d41e6e765c67804266d2a80b7e920 (patch) | |
| tree | 8948187b3a548ef18a62e21556c03cb2dd75ea64 /.dir-locals.el | |
| parent | a41214ca3ee5570f73f93d138d7741c2e482d6f8 (diff) | |
mapi: remove old, unused ES* generator code
As of earlier commit, everyone has switched to the new script for the ES
dispatch.
Signed-off-by: Emil Velikov <[email protected]>
Reviewed-by: Erik Faye-Lund <[email protected]>
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions