Next: ‘@%’: Ignorable comment, Previous: Comments, Up: FWEB COMMANDS [Index]
See the discussion of ‘@/*’ in ‘@//’: Begin short verbatim comment.