diff options
| author | Prashanth Mundkur | 2018-04-17 17:37:09 -0700 |
|---|---|---|
| committer | Prashanth Mundkur | 2018-04-17 17:37:47 -0700 |
| commit | efd8234cbac39bcf4ca6498057be5115cfda7fe7 (patch) | |
| tree | 6f7ab0a11db9944f7eb3eee731dbd5c62596fc24 /editors/sail2-mode.el | |
| parent | ac0840873d07b475ce9bdcb0a53ead7e377f1dcd (diff) | |
Add platform initialization for the new bits of machine state.
Diffstat (limited to 'editors/sail2-mode.el')
0 files changed, 0 insertions, 0 deletions