diff options
author | erikjohnston <erikjohnston@users.noreply.github.com> | 2024-03-14 15:21:11 +0000 |
---|---|---|
committer | erikjohnston <erikjohnston@users.noreply.github.com> | 2024-03-14 15:21:11 +0000 |
commit | 88f9c0a75f79fbb4086a215275e576ce8a0575c8 (patch) | |
tree | 809339d2332f868e88cc6de73cbb7893f1cec837 /develop/docs | |
parent | deploy: acc2f00ecaab073abd8bc386d0b4f0d8b30606ef (diff) | |
download | synapse-88f9c0a75f79fbb4086a215275e576ce8a0575c8.tar.xz |
deploy: 1198f649ea91bcc21ae5b596ad50bf1851de2589
Diffstat (limited to 'develop/docs')
-rw-r--r-- | develop/docs/website_files/version-picker.js | 26 |
1 files changed, 23 insertions, 3 deletions
diff --git a/develop/docs/website_files/version-picker.js b/develop/docs/website_files/version-picker.js |