diff --git a/src/main/sidekick_version.ml b/src/main/sidekick_version.ml new file mode 100644 index 00000000..f829225c --- /dev/null +++ b/src/main/sidekick_version.ml @@ -0,0 +1,2 @@ +let version = {git|17aa62dd6f3fbb89bc7e98ff882f06d7b21a5551 +|git} \ No newline at end of file