summaryrefslogtreecommitdiff
path: root/src/lib/repr/dune
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2021-09-03 17:44:44 +0200
committerSébastien Dailly <sebastien@chimrod.com>2021-09-03 17:44:44 +0200
commit66cb521749672586fd5b1182b14e3c5d44829616 (patch)
tree92adafc00225ce4775c3a98c59ac56582d4b0b5a /src/lib/repr/dune
parent025faa27075a15d9f3b2cb7f29c2228d3e4cb049 (diff)
Extract representation in dedicated library
Diffstat (limited to 'src/lib/repr/dune')
-rw-r--r--src/lib/repr/dune4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/lib/repr/dune b/src/lib/repr/dune
new file mode 100644
index 0000000..c853440
--- /dev/null
+++ b/src/lib/repr/dune
@@ -0,0 +1,4 @@
+(library
+ (name repr)
+ (libraries sounds)
+ )