From ca35744736c8c91e132bbcda6c0b146bcdfa69d6 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Sat, 16 Jan 2016 08:24:12 +0100
Subject: [PATCH] update spacemacs

---
 spacemacs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/spacemacs b/spacemacs
index 8ec6bfb..ff96a73 100644
--- a/spacemacs
+++ b/spacemacs
@@ -33,12 +33,13 @@
      scala
      latex
      finance
+     lua ; for lean
      )
    ;; List of additional packages that will be installed without being
    ;; wrapped in a layer. If you need some configuration for these
    ;; packages then consider to create a layer, you can also put the
    ;; configuration in `dotspacemacs/config'.
-   dotspacemacs-additional-packages '()
+   dotspacemacs-additional-packages '(dash-functional f mmm-mode)
    ;; A list of packages and/or extensions that will not be install and loaded.
    dotspacemacs-excluded-packages '()
    ;; If non-nil spacemacs will delete any orphan packages, i.e. packages that