diff options
| author | Amin Bandali <amin@aminb.org> | 2018-07-06 11:56:35 -0400 |
|---|---|---|
| committer | Amin Bandali <amin@aminb.org> | 2018-07-06 11:56:35 -0400 |
| commit | fad62af517873a5a40dc4487a505b88383b794f1 (patch) | |
| tree | 9effefc9cd4551ec6208f945e72a126c1e735f17 | |
| parent | d787ff549bf4576862fe1b8109ce0d49c5754e8e (diff) | |
| download | configs-fad62af517873a5a40dc4487a505b88383b794f1.tar.gz configs-fad62af517873a5a40dc4487a505b88383b794f1.tar.xz configs-fad62af517873a5a40dc4487a505b88383b794f1.zip | |
[emacs/alloy-mode] use indentation offset of 2 (instead of 3)
| -rw-r--r-- | init.org | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1087,7 +1087,8 @@ TODO: break this giant source block down into individual org sections. ** Alloy #+begin_src emacs-lisp -(use-package alloy-mode) +(use-package alloy-mode + :config (setq alloy-basic-offset 2)) #+end_src ** [[https://github.com/leanprover/lean-mode][Lean]] |