diff options
author | Pierre Courtieu <Matafou@users.noreply.github.com> | 2016-07-20 11:18:47 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 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