aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--bin/dune5
-rw-r--r--bin/main.ml0
2 files changed, 0 insertions, 5 deletions
diff --git a/bin/dune b/bin/dune
deleted file mode 100644
index 46e74f2..0000000
--- a/bin/dune
+++ /dev/null
@@ -1,5 +0,0 @@
-(executable
- (name main)
- (libraries rdf rdf_turtle))
-
-
diff --git a/bin/main.ml b/bin/main.ml
deleted file mode 100644
index e69de29..0000000
--- a/bin/main.ml
+++ /dev/null