diff options
| author | Pierre Courtieu | 2016-07-20 11:18:47 +0200 |
|---|---|---|
| committer | GitHub | 2016-07-20 11:18:47 +0200 |
| commit | c302c243bbb31c22c239ebc6574db61b5b16145a (patch) | |
| tree | c2f19c77b1c7dbcffdf258de463fcbe538418e19 /coq/coq-syntax.el | |
| parent | 1881be14416e3eb719cce90c6ac5d1f17ff53cd8 (diff) | |
| parent | a8b55a360609413f9372cb48735d1537d865cb7f (diff) | |
Merge pull request #87 from erikmd/patch-1
Fix (next-undo-elt) to return a relevant undo element w.r.t (undo-delta)
Diffstat (limited to 'coq/coq-syntax.el')
0 files changed, 0 insertions, 0 deletions