Commit 0531ec16e30288a7d5829912b74a60f3152dc64e

Bruno Haible 2007-10-07T18:30:41

Upgrade copyright header to GPLv3.