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 --- dune | 1 + 1 file changed, 1 insertion(+) create mode 100644 dune (limited to 'dune') diff --git a/dune b/dune new file mode 100644 index 0000000..703a1d2 --- /dev/null +++ b/dune @@ -0,0 +1 @@ +(dirs :standard \ _darcs nix meta ncl) -- cgit v1.2.3