Commit 483b79984d41dd69b78dc15ef6fed0efbde6ad3a

Bruno Haible 2009-09-19T10:47:54

Use the standard header with GPL copyright.