diff options
author | arie <arie@alleycat.cc> | 2021-06-29 11:04:28 +0200 |
---|---|---|
committer | arie <arie@alleycat.cc> | 2021-06-29 11:04:28 +0200 |
commit | 212b22c60ea53da0667cad4a6c75e50fa2c6df63 (patch) | |
tree | b87f78f9dc8b9a5401efd7c4db9beca762a4a8c5 | |
parent | bf545602512662d2f7735992a81ead9352d426c0 (diff) |
Remove files in bin, they were only for testing purposes and are replace by the files in test/turtle.
-rw-r--r-- | bin/dune | 5 | ||||
-rw-r--r-- | bin/main.ml | 0 |
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 |