From 7277ab93adcad0cd7ecc9a230dff82d1b82d1bcc Mon Sep 17 00:00:00 2001
From: Marius Peter <marius.peter@tutanota.com>
Date: Sun, 29 Jun 2025 11:42:07 +0200
Subject: Add file local variable to dune-project.

---
 dune-project | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/dune-project b/dune-project
index e292713..e30ccb7 100644
--- a/dune-project
+++ b/dune-project
@@ -24,4 +24,6 @@
  (tags
   (git "web interface")))
 
-; See the complete stanza docs at https://dune.readthedocs.io/en/stable/reference/dune-project/index.html
+;; Local Variables:
+;; mode: lisp
+;; End:
-- 
cgit v1.2.3