aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorarie <arie@alleycat.cc>2021-06-29 11:04:28 +0200
committerarie <arie@alleycat.cc>2021-06-29 11:04:28 +0200
commit212b22c60ea53da0667cad4a6c75e50fa2c6df63 (patch)
treeb87f78f9dc8b9a5401efd7c4db9beca762a4a8c5
parentbf545602512662d2f7735992a81ead9352d426c0 (diff)
Remove files in bin, they were only for testing purposes and are replace by the files in test/turtle.HEADmain
-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