Quentin Gliech 74f60cec92 Add an admin API endpoint to find a user based on its external ID in an auth provider. (#13810)		2022-09-16 12:29:03 +00:00
..
admin	Add an admin API endpoint to find a user based on its external ID in an auth provider. (#13810)	2022-09-16 12:29:03 +00:00
client	…
consent	…
key	…
media	…
synapse	…
__init__.py	…
health.py	…
models.py	…
well_known.py	…