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.HEADmain
| -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 |