Added by Michael Hanselmann almost 16 years ago
Comment formatting updates.
Reviewed-by: iustinp
View differences