emacs: update lean-mode
authorAmin Bandali <bandali@gnu.org>
Sat, 14 Sep 2019 13:44:14 +0000 (09:44 -0400)
committerAmin Bandali <bandali@gnu.org>
Sat, 14 Sep 2019 13:44:14 +0000 (09:44 -0400)
commit2e54e9db1def0a2624775458b8e7f91689bedc57
tree31b05273b11ccba71dd1220f01ce29ce5152e535
parentc470019ff5cb6b4bfeb7dd950f6b5ea4221d2655
emacs: update lean-mode

my PR removing (require 'cl) has been merged
.emacs.d/init.el
.emacs.d/straight/versions/default.el