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

Fixed agda-post-packages -> agda-packages (develop)

This commit is contained in:
sindikat 2016-04-29 15:34:08 +01:00 committed by Eivind Fonn
parent 6d2de9ebcb
commit 5fab3f087d
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

@ -9,7 +9,7 @@
;;
;;; License: GPLv3
(setq agda-post-packages
(setq agda-packages
'((agda :location local)))
(defun agda/init-agda ()