diff options
| author | Alexandre Flament <alex@al-f.net> | 2022-11-05 17:50:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-05 17:50:40 +0100 |
| commit | d37afb8ab90f75f888179b6efd3e1e8977ef6dea (patch) | |
| tree | 181d2b38112d9439f836e6d9a286f5355a311ffa /docs/dev/plugins.rst | |
| parent | d764d94a70b0b10291105a867227975d59af5675 (diff) | |
| parent | e92755d358df5b34b0181f48f8ba02c7f2939e8f (diff) | |
Merge pull request #1856 from dalf/checker_requires_redis
The checker requires Redis
Diffstat (limited to 'docs/dev/plugins.rst')
0 files changed, 0 insertions, 0 deletions