From bb93e1f57642aa6be11240970687ff5784103dbb Mon Sep 17 00:00:00 2001 From: Action Bot Date: Mon, 11 Dec 2023 14:58:37 +0000 Subject: Version picker deployed for v1.37 docs to Github Pages --- v1.37/docs/website_files/version.js | 1 + 1 file changed, 1 insertion(+) create mode 100644 v1.37/docs/website_files/version.js (limited to 'v1.37/docs/website_files/version.js') diff --git a/v1.37/docs/website_files/version.js b/v1.37/docs/website_files/version.js new file mode 100644 index 0000000000..714bc69aa3 --- /dev/null +++ b/v1.37/docs/website_files/version.js @@ -0,0 +1 @@ +window.SYNAPSE_VERSION = 'v1.37'; -- cgit 1.5.1