diff options
| author | Erik Johnston <erikj@jki.re> | 2017-07-20 16:16:43 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-07-20 16:16:43 +0100 |
| commit | b27429729d7591313107926bf5b0a180c2f07837 (patch) | |
| tree | b297766fcf14bd8208d7769b7449a32126ffc02b /pylint.cfg | |
| parent | Merge pull request #2371 from matrix-org/erikj/push_cache_hit (diff) | |
| parent | Extend comment (diff) | |
| download | synapse-b27429729d7591313107926bf5b0a180c2f07837.tar.xz | |
Merge pull request #2375 from matrix-org/erikj/port_script
Fix port script for user directory tables
Diffstat (limited to 'pylint.cfg')
0 files changed, 0 insertions, 0 deletions