From ef172eb13b9b43c61060b6199fc1e9c25170437c Mon Sep 17 00:00:00 2001
From: ·𐑑𐑴𐑕𐑑𐑩𐑤
Date: Wed, 31 Dec 2025 06:27:59 +0000
Subject: Dune: ignore directories from the top level

---
 nix/dune | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 nix/dune

(limited to 'nix')

diff --git a/nix/dune b/nix/dune
deleted file mode 100644
index 8c0d903..0000000
--- a/nix/dune
+++ /dev/null
@@ -1 +0,0 @@
-(dirs :standard \ *)
-- 
cgit v1.2.3