diff options
| author | Vitaly Lavrov <vel21ripn@gmail.com> | 2022-03-15 21:40:18 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-15 19:40:18 +0100 |
| commit | 8dd70b7023d9cb6cb082c91fcbcb5629d3a9a6c0 (patch) | |
| tree | 8be8669bed16dbdc60e2759f67cbc02918b82a0c /doc/conf.py | |
| parent | 9e22c88e0abff87f18fee632495b02255f585c0c (diff) | |
Bug fixing. (#1487)
Using the protocol_id instead of its index.
Diffstat (limited to 'doc/conf.py')
0 files changed, 0 insertions, 0 deletions