diff options
| author | Pierre Courtieu | 2018-06-15 09:34:30 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2018-06-15 09:34:30 +0200 |
| commit | d04888c966ebbf0ea5532b44766697f6fa8e04c3 (patch) | |
| tree | 4486f1392ab49d5b6bd0ff58ff11951053488523 /INSTALL | |
| parent | c54b17d14e57eb77093ec0006d2db5e9e3754902 (diff) | |
Fix #368 (emacs < 25 split-string has no trim arg).
Copied some code from company-coq.
Diffstat (limited to 'INSTALL')
0 files changed, 0 insertions, 0 deletions