chiark / gitweb /
dot/emacs: Tell `ediff' not to move the mouse pointer.
authorMark Wooding <mdw@distorted.org.uk>
Sat, 18 Mar 2023 14:14:00 +0000 (14:14 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sat, 18 Mar 2023 14:14:00 +0000 (14:14 +0000)
Everything still seems to work.


No differences found