Details
-
Bug
-
Status: Open
-
Minor
-
Resolution: Unresolved
-
None
-
None
-
None
Description
Currently, it's impossible to include the character sequence `*/` in DocuComments as it signals the end of a comment. Ideally, there sould be some escape mechanism.