diff options
author | erikjohnston <erikjohnston@users.noreply.github.com> | 2023-06-06 09:54:20 +0000 |
---|---|---|
committer | erikjohnston <erikjohnston@users.noreply.github.com> | 2023-06-06 09:54:20 +0000 |
commit | 0f5daab063ef0225de55e6123c8669911e20484e (patch) | |
tree | 56106f4baf2821b85e59d85e2c1593440ba91495 /dev-docs/latest/search.html | |
parent | deploy: ec71214243eac58a4a6d272c15441a6405f6ae9c (diff) | |
download | synapse-0f5daab063ef0225de55e6123c8669911e20484e.tar.xz |
deploy: ec71214243eac58a4a6d272c15441a6405f6ae9c
Diffstat (limited to 'dev-docs/latest/search.html')
-rw-r--r-- | dev-docs/latest/search.html | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dev-docs/latest/search.html b/dev-docs/latest/search.html |