From ef77e1e729f176c3db680de25df9f2f820795e47 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 9 Dec 2019 12:11:00 -0600 Subject: [PATCH] add promoted sidekick-version --- src/main/sidekick_version.ml | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 src/main/sidekick_version.ml 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