diff options
author | erikjohnston <erikjohnston@users.noreply.github.com> | 2023-12-12 10:30:28 +0000 |
---|---|---|
committer | erikjohnston <erikjohnston@users.noreply.github.com> | 2023-12-12 10:30:28 +0000 |
commit | 19019dd1a1a03e0afcfa753a966b4962f8898545 (patch) | |
tree | 692750f7ad90e8f383a821b8b39dd3e4a4b8c87d /develop/print.html | |
parent | Version picker deployed for v1.37 docs to Github Pages (diff) | |
download | synapse-19019dd1a1a03e0afcfa753a966b4962f8898545.tar.xz |
deploy: 9f6c64482535db0d0bc265a2d7d21ce4d618dd45
Diffstat (limited to 'develop/print.html')
-rw-r--r-- | develop/print.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/develop/print.html b/develop/print.html |