agda: Disable agda cube by default
This commit is contained in:
parent
3f6a77618a
commit
0827329d58
|
@ -28,7 +28,7 @@
|
||||||
(defcube fg42/agda-cube
|
(defcube fg42/agda-cube
|
||||||
"Integrate Agda-mode with Fg42"
|
"Integrate Agda-mode with Fg42"
|
||||||
:title "Agda cube"
|
:title "Agda cube"
|
||||||
:flag-default t
|
:flag-default nil
|
||||||
:flag agda
|
:flag agda
|
||||||
(load-file
|
(load-file
|
||||||
(let* ((coding-system-for-read 'utf-8)
|
(let* ((coding-system-for-read 'utf-8)
|
||||||
|
|
Loading…
Reference in New Issue