docs: remove unnecessary repetition in othertools.rst #308

Triggered via pull request April 8, 2024 16:31

cuavas

synchronize #12224

docs_othertools

Status Success

Total duration 2m 5s

Artifacts 1

docs.yml

on: pull_request

Produced during runtime

Name	Size
mame-docs-57e95168e920a483b1fe8038408965b7bd417d62 Expired	5.03 MB