796fcfaa53
Hide properties in space-doc-mode to allow the use of `CUSTOM_ID` tags in documentation for correct link exporting, as discussed in #8054, #8136 and #8138. Complementary the latter two PR:s. |
||
---|---|---|
.. | ||
space-doc.el |
796fcfaa53
Hide properties in space-doc-mode to allow the use of `CUSTOM_ID` tags in documentation for correct link exporting, as discussed in #8054, #8136 and #8138. Complementary the latter two PR:s. |
||
---|---|---|
.. | ||
space-doc.el |