"Bernhard Reutner-Fischer" <rep.dot....@gmail.com> writes: > On 4 February 2013 20:42:55 Richard Sandiford > <rdsandif...@googlemail.com> wrote: >> ...now that all the output has been approved. >> >> Richard >> >> >> contrib/ >> * update-copyright.pl: New file. >> >> Index: contrib/update-copyright.pl >> =================================================================== >> --- /dev/null 2013-01-15 19:11:41.843960094 +0000 >> +++ contrib/update-copyright.pl 2013-02-04 19:40:37.903547053 +0000 >> @@ -0,0 +1,766 @@ >> +#!/usr/bin/python > > I find this slightly confusing ;)
Hah! That'll teach me for renaming the thing just before committing. :-) Now renamed to update-copyright.py, thanks. Richard
