diff options
| author | Prashanth Mundkur | 2018-04-17 17:42:18 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-17 17:42:18 -0700 |
| commit | 06906142adde1def6ce510d3c554d3dc17c3f695 (patch) | |
| tree | 257f33bab39123a397c6660ceedff026e6be8c8f /editors/sail2-mode.el | |
| parent | efd8234cbac39bcf4ca6498057be5115cfda7fe7 (diff) | |
Hook in the delegated trap handler and remove the old one.
Diffstat (limited to 'editors/sail2-mode.el')
0 files changed, 0 insertions, 0 deletions