This repository has been archived on 2024-10-22. You can view files and clone it, but cannot push or open issues or pull requests.

nikolaiam 796fcfaa53 Hide PROPERTIES drawers in space-doc-mode ... 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.		2017-01-12 22:49:15 -05:00
..
space-doc	Hide PROPERTIES drawers in space-doc-mode	2017-01-12 22:49:15 -05:00