diff options
author | 2022-10-25 01:00:20 +1100 | |
---|---|---|
committer | 2022-10-25 01:00:20 +1100 | |
commit | 7f2cbc5844515e9a54ef0646cd8f40d5e9e41a40 (patch) | |
tree | 32f6c54673b49d410af79aea4465e6bdf1028a8d /docs/source/conf.py | |
parent | 69bca1e3fb3fbe4643fdb90ded1f980e873c3c86 (diff) |
docs: Removed obsolete paragraph about logged device IDs properly (GitHub #10469).
Diffstat (limited to 'docs/source/conf.py')
0 files changed, 0 insertions, 0 deletions