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 + nix/dune | 1 - 2 files changed, 1 insertion(+), 1 deletion(-) create mode 100644 dune delete mode 100644 nix/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) 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