mirror of
https://github.com/sphinx-doc/sphinx.git
synced 2025-02-25 18:55:22 -06:00
Fix #4378: tox: use usedevelop option instead skipsdist
This commit is contained in:
parent
ff61fb80c5
commit
e3efe5884b
Loading…
Reference in New Issue
Block a user