-
Alessandro Rubini authored
comments used to extend to the next terminator (including the semicolon), but editors paint comment-color the whole line, so we'd better fix it rather than documenting an uncommon behaviour. Signed-off-by: Alessandro Rubini <rubini@gnudd.com>
86102a4d