Commit 54f6c0ab60a50a34723298c23dfa6b4756bde0b7

Bruno Haible 2006-01-23T13:26:44

Use error() instead of fprintf on stderr.