...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
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
===
---
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