diff options
| author | David Robertson <davidr@element.io> | 2021-08-12 11:48:36 +0100 |
|---|---|---|
| committer | David Robertson <davidr@element.io> | 2021-08-12 11:48:36 +0100 |
| commit | 878528913d2927bba5ba8795c405f8a7475934cd (patch) | |
| tree | 52c25687403e9422679b5a1673c7dc83f7af7cd2 /mypy.ini | |
| parent | portdb also uses coverage, so provide $TOP there (diff) | |
| download | synapse-878528913d2927bba5ba8795c405f8a7475934cd.tar.xz | |
Remove buildkite-era comment
Diffstat (limited to 'mypy.ini')
0 files changed, 0 insertions, 0 deletions