projects
/
~bandali
/
configs
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
d787ff5
)
[emacs/alloy-mode] use indentation offset of 2 (instead of 3)
author
Amin Bandali
<amin@aminb.org>
Fri, 6 Jul 2018 15:56:35 +0000
(11:56 -0400)
committer
Amin Bandali
<amin@aminb.org>
Fri, 6 Jul 2018 15:56:35 +0000
(11:56 -0400)
init.org
patch
|
blob
|
blame
|
history
diff --git
a/init.org
b/init.org
index
9192dff
..
bcccd39
100644
(file)
--- a/
init.org
+++ b/
init.org
@@
-1087,7
+1087,8
@@
TODO: break this giant source block down into individual org sections.
** Alloy
#+begin_src emacs-lisp
** 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]]
#+end_src
** [[https://github.com/leanprover/lean-mode][Lean]]