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