aboutsummaryrefslogtreecommitdiff
path: root/.emacs
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--.emacs2
1 files changed, 1 insertions, 1 deletions
diff --git a/.emacs b/.emacs
index f2581af..d47bb3c 100644
--- a/.emacs
+++ b/.emacs
@@ -199,7 +199,7 @@
'(inhibit-startup-screen t)
'(package-selected-packages
(quote
- (mingus yaml-mode wc-mode use-package tuareg sml-mode sass-mode rainbow-mode py-autopep8 ocp-indent merlin markdown-mode lua-mode haskell-mode fill-column-indicator ess elpy dtrt-indent auto-indent-mode auto-complete auctex)))
+ (airline-themes csv-mode mingus yaml-mode wc-mode use-package tuareg sml-mode sass-mode rainbow-mode py-autopep8 ocp-indent merlin markdown-mode lua-mode haskell-mode fill-column-indicator ess elpy dtrt-indent auto-indent-mode auto-complete auctex)))
'(proof-disappearing-proofs t)
'(proof-electric-terminator-enable t)
'(python-indent-guess-indent-offset nil)