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