diff options
| author | Marc Coquand <marc@mccd.space> | 2024-05-15 12:32:39 -0500 |
|---|---|---|
| committer | Marc Coquand <marc@mccd.space> | 2024-05-15 12:32:39 -0500 |
| commit | 9f3d3d40ddf6db70f8395adf4290241f7c5735db (patch) | |
| tree | 3972cd631f438451538144e697ebd8f310833209 /lib/shared_state.ml | |
| parent | db4e445ee0f29c1179b5d0746217e5b5525ff3e2 (diff) | |
| download | stitch-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.ml | 0 |
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 |