Add more OASIS autogen files

Signed-off-by: David Scott <dave@recoil.org>
mirage · Mar 14, 2016 · 84c7a13 · 84c7a13
1 parent 3df2997
commit 84c7a13
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 0 deletions.
diff --git a/client_lwt/client_lwt.odocl b/client_lwt/client_lwt.odocl
@@ -0,0 +1,4 @@
+# OASIS_START
+# DO NOT EDIT (digest: c330a9a726f26eed8831f1bc154072e5)
+Xs_client_lwt
+# OASIS_STOP
diff --git a/client_unix/client_unix.odocl b/client_unix/client_unix.odocl
@@ -0,0 +1,4 @@
+# OASIS_START
+# DO NOT EDIT (digest: 3b3d3372c0e77b8e05c56f53b81a6e3e)
+Xs_client_unix
+# OASIS_STOP
diff --git a/core/core.odocl b/core/core.odocl
@@ -0,0 +1,5 @@
+# OASIS_START
+# DO NOT EDIT (digest: d93f3abe5887f90e78faf0190e6e5028)
+Xs_protocol
+Xs_handle
+# OASIS_STOP