summaryrefslogtreecommitdiff
path: root/lib/helpers/dune
diff options
context:
space:
mode:
Diffstat (limited to 'lib/helpers/dune')
-rw-r--r--lib/helpers/dune9
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/helpers/dune b/lib/helpers/dune
new file mode 100644
index 0000000..a8c1733
--- /dev/null
+++ b/lib/helpers/dune
@@ -0,0 +1,9 @@
+(library
+ (name helpers)
+ (public_name ogit.helpers)
+ (libraries
+ unix
+ ogit.layouts)
+ (modules
+ html_helpers
+ file_helpers))
Copyright 2019--2025 Marius PETER