[committed] Add copyright update script to contrib/

2013-02-04 Thread Richard Sandiford
...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 + +++ contrib/update-copyright.pl

Re: [committed] Add copyright update script to contrib/

2013-02-04 Thread Bernhard Reutner-Fischer
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 === ---

Re: [committed] Add copyright update script to contrib/

2013-02-04 Thread Richard Sandiford
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