Added by Iustin Pop over 16 years ago
A pure whitespace change for style compliance
Reviewed-by: amishchenko
View differences