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)
my PR removing (require 'cl) has been merged


No differences found