summaryrefslogtreecommitdiff
path: root/src/bin/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-08-23 14:37:53 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-08-23 14:37:53 +0200
commit546afdcf2148087f3a90b69c23ea756550f64433 (patch)
treeac56c71393aacf0fade729e98eeecb1e87a88534 /src/bin/dune
Initial commit
Diffstat (limited to 'src/bin/dune')
-rw-r--r--src/bin/dune6
1 files changed, 6 insertions, 0 deletions
diff --git a/src/bin/dune b/src/bin/dune
new file mode 100644
index 0000000..5d49b1d
--- /dev/null
+++ b/src/bin/dune
@@ -0,0 +1,6 @@
+(executables
+ (names
+ transcriptor
+ )
+ (libraries translator)
+ )