add copyright notice in HTML header
authorWolfram Schneider <wosch@indexdata.dk>
Thu, 20 Jun 2013 12:08:19 +0000 (12:08 +0000)
committerWolfram Schneider <wosch@indexdata.dk>
Thu, 20 Jun 2013 12:08:19 +0000 (12:08 +0000)

No differences found