Commit 6cbb4b189b04aab82a8b2934209d18ec015c571b

Bruno Haible 2008-12-26T11:05:42

Fix indentation of comments.