chiark / gitweb /
~mdw / profile / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 88daf8f) | patch
dot/emacs: Fix keybinding for lemma references.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 5 Feb 2012 12:58:10 +0000 (12:58 +0000)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 5 Feb 2012 12:58:10 +0000 (12:58 +0000)
commit4458f45af648d888a88bc2b26948edcb8de80603
treeece74c0768a97377a9e012e4c3127f5f190c0b36tree | snapshot
parent88daf8fbedda22c35046006c713a1df0365b2c88commit | diff
dot/emacs: Fix keybinding for lemma references.

Must have been copied from the proposition line, and not fixed.
dot/emacs diff | blob | blame | history
Dotfiles and other configuration.