TakeV/spacemacs
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Fix typo in Agda's packages.el

Browse source
This commit is contained in:
Svyatoslav Gryaznov 2016-11-14 15:22:16 +03:00 committed by Boris
parent 58c8fd515a
commit 32f9f97970
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
layers/+lang/agda/packages.el
View file

@ -83,7 +83,7 @@
"xq" 'agda2-quit
"xr" 'agda2-restart)))))
(defun idris/pre-init-golden-ratio ()
(defun agda/pre-init-golden-ratio ()
(spacemacs|use-package-add-hook golden-ratio
:post-config
(add-to-list 'golden-ratio-exclude-buffer-names