diff options
| author | Amin Bandali <bandali@gnu.org> | 2018-12-21 11:34:32 -0500 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2018-12-21 11:34:32 -0500 |
| commit | 61669f58ca81a8ff9f33e5fb05e29e74d8a97132 (patch) | |
| tree | d5a96a0089ce25bfa78aade2a1593bdbacd2a37b /lib/proof-site | |
| parent | 0f51cd45878c81e51dec1ed6fcab5adfe6628eff (diff) | |
| download | configs-61669f58ca81a8ff9f33e5fb05e29e74d8a97132.tar.gz configs-61669f58ca81a8ff9f33e5fb05e29e74d8a97132.tar.xz configs-61669f58ca81a8ff9f33e5fb05e29e74d8a97132.zip | |
[emacs] remove unneeded borg-insert-update-message C-c b m binding
C-c C-b is already bound in git-commit-mode-map
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions