scripts/update-copyright-header
Sat, 03 Mar 2007 16:30:37 +0000 Happy New Year to all source files!
Thu, 10 Aug 2006 10:11:07 +0000 This script creates/updates the copyright header of a source file