From 58e910f355589f48150f16f264b5014956718548 Mon Sep 17 00:00:00 2001 From: Marius Peter Date: Sun, 26 Jan 2025 19:18:58 +0100 Subject: Remove all helper modules. Now, only God can help me. --- lib/helpers/dune | 5 ----- 1 file changed, 5 deletions(-) delete mode 100644 lib/helpers/dune (limited to 'lib/helpers/dune') diff --git a/lib/helpers/dune b/lib/helpers/dune deleted file mode 100644 index f04f60c..0000000 --- a/lib/helpers/dune +++ /dev/null @@ -1,5 +0,0 @@ -(library - (name helpers) - (public_name ogit.helpers) - (libraries unix views) - (modules html_helpers file_helpers)) -- cgit v1.2.3