From 0827329d58ba8aafe81ba7bcebc7ee1697e30545 Mon Sep 17 00:00:00 2001
From: Sameer Rahmani <lxsameer@gnu.org>
Date: Wed, 31 Jan 2024 17:54:30 +0000
Subject: [PATCH] agda: Disable agda cube by default

---
 core/cubes/agda.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/core/cubes/agda.el b/core/cubes/agda.el
index 61bad7a..0fa6848 100644
--- a/core/cubes/agda.el
+++ b/core/cubes/agda.el
@@ -28,7 +28,7 @@
 (defcube fg42/agda-cube
   "Integrate Agda-mode with Fg42"
   :title "Agda cube"
-  :flag-default t
+  :flag-default nil
   :flag agda
   (load-file
    (let* ((coding-system-for-read 'utf-8)