gerrit.morgengrauen.info / mudlib-public / 8d7f99f3c7039ef4dc2d7dca1f648ba8030a5b41 / doc / sphinx / props-obsolet.rst