Remove the timestamp header in source files. This information is
authorKim Nguyễn <kn@lri.fr>
Mon, 15 Jul 2013 15:46:15 +0000 (17:46 +0200)
committerKim Nguyễn <kn@lri.fr>
Mon, 15 Jul 2013 15:46:15 +0000 (17:46 +0200)
better kept in git.


No differences found