From bba0e1cb79a978e01e4f8fa9d70e2ecdc684d4e0 Mon Sep 17 00:00:00 2001
From: Rudi Grinberg <rudi.grinberg@gmail.com>
Date: Tue, 10 Sep 2019 09:50:21 +0900
Subject: [PATCH] Add lean to init.example.el

Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
---
 init.example.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/init.example.el b/init.example.el
index fec33a81c..39303ef3f 100644
--- a/init.example.el
+++ b/init.example.el
@@ -118,6 +118,7 @@
        ;;julia             ; a better, faster MATLAB
        ;;kotlin            ; a better, slicker Java(Script)
        ;;latex             ; writing papers in Emacs has never been so fun
+       ;;lean
        ;;ledger            ; an accounting system in Emacs
        ;;lua               ; one-based indices? one-based indices
        markdown          ; writing docs for people to ignore