summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--lib/helpers/dune5
-rw-r--r--lib/helpers/file_helpers.ml6
2 files changed, 0 insertions, 11 deletions
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))
diff --git a/lib/helpers/file_helpers.ml b/lib/helpers/file_helpers.ml
deleted file mode 100644
index a1b5372..0000000
--- a/lib/helpers/file_helpers.ml
+++ /dev/null
@@ -1,6 +0,0 @@
-let list_files dir =
- try
- Array.to_list (Sys.readdir dir)
- |> List.map (fun file -> Printf.sprintf "<li>%s</li>" file)
- |> String.concat ""
- with _ -> "<li>Error: Unable to read directory</li>"
Copyright 2019--2025 Marius PETER