From 53390faebc2c23867235cb3f47259dd6e7ca2509 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Tue, 2 Sep 2014 14:40:30 -0700 Subject: [PATCH] chore(emacs/lean-mode): remove lean-tab function --- src/emacs/lean-mode.el | 5 ----- 1 file changed, 5 deletions(-) diff --git a/src/emacs/lean-mode.el b/src/emacs/lean-mode.el index c4675a7dd..2cd4f28fa 100644 --- a/src/emacs/lean-mode.el +++ b/src/emacs/lean-mode.el @@ -69,11 +69,6 @@ (t (completion-at-point-functions))) (eri-indent)))) -(defun lean-tab () - (interactive) - (or (company-complete) - (eri-indent))) - (defun lean-set-keys () (local-set-key "\C-c\C-x" 'lean-std-exe) (local-set-key "\C-c\C-l" 'lean-std-exe)