diff options
author | Matthew Hodgson <matthew@arasphere.net> | 2017-12-05 11:09:47 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-12-05 11:09:47 +0000 |
commit | 33cb7ef0b7f0c8e31abf580ba3ffa33c255f0a55 (patch) | |
tree | 196666de4e0fe2263544c8db3f74dbc48798e64a /pylint.cfg | |
parent | Fix error when deleting devices (diff) | |
parent | fix StoreError syntax (diff) | |
download | synapse-33cb7ef0b7f0c8e31abf580ba3ffa33c255f0a55.tar.xz |
Merge pull request #2723 from matrix-org/matthew/search-all-local-users
Add all local users to the user_directory and optionally search them
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions