aboutsummaryrefslogtreecommitdiff
path: root/lib/shared_state.ml
diff options
context:
space:
mode:
authorMarc Coquand <marc@mccd.space>2024-05-15 12:32:39 -0500
committerMarc Coquand <marc@mccd.space>2024-05-15 12:32:39 -0500
commit9f3d3d40ddf6db70f8395adf4290241f7c5735db (patch)
tree3972cd631f438451538144e697ebd8f310833209 /lib/shared_state.ml
parentdb4e445ee0f29c1179b5d0746217e5b5525ff3e2 (diff)
downloadstitch-9f3d3d40ddf6db70f8395adf4290241f7c5735db.tar.gz
stitch-9f3d3d40ddf6db70f8395adf4290241f7c5735db.tar.bz2
stitch-9f3d3d40ddf6db70f8395adf4290241f7c5735db.zip
Update state management
Diffstat (limited to 'lib/shared_state.ml')
-rw-r--r--lib/shared_state.ml0
1 files changed, 0 insertions, 0 deletions
diff --git a/lib/shared_state.ml b/lib/shared_state.ml
new file mode 100644
index 0000000..e69de29
--- /dev/null
+++ b/lib/shared_state.ml