Next: , Previous: , Up: FWEB COMMANDS   [Contents][Index]


5.8.2 ‘@//’: Begin short verbatim comment

See the discussion of ‘@/*’ in @//’: Begin short verbatim comment.