"Sebastien Vauban" <[email protected]> writes: > Of course, we can wonder whether that particularity of COMMENT couldn't > or shouldn't be transported to :noexport: as well (or something extra, > such a :donothing:).
A :donothing tag or property seems more logical to me than a COMMENT keyword that is somehow a special case in the syntax. -- cheers, Thorsten
