mirror of
git://repo.or.cz/minetest_schemedit.git
synced 2025-01-10 01:50:29 +01:00
Add optional doc dependency
This commit is contained in:
parent
edc4b26328
commit
7e18f510b3