aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dune
diff options
context:
space:
mode:
authorMarcos Magueta <maguetamarcos@gmail.com>2026-07-07 16:07:07 -0300
committerMarcos Magueta <maguetamarcos@gmail.com>2026-07-07 16:07:07 -0300
commit5a799734ddd523027a7d6ef8b0acab6d0b796ec6 (patch)
tree45f11504d8ca7ad55ba3cbb85ad778907e1ecf3f /lib/dune
parentab70e5461b98ddf2b56268c53c171cab89157027 (diff)
downloadRNT-5a799734ddd523027a7d6ef8b0acab6d0b796ec6.tar.gz
RNT-5a799734ddd523027a7d6ef8b0acab6d0b796ec6.zip
object manager initial model and sotrage stubs
Diffstat (limited to 'lib/dune')
-rw-r--r--lib/dune4
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/dune b/lib/dune
new file mode 100644
index 0000000..7ab7df1
--- /dev/null
+++ b/lib/dune
@@ -0,0 +1,4 @@
+(library
+ (name rnt)
+ (public_name rnt)
+ (libraries batteries))