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