add a script to setup github repositories appropriately
authorRalf Jung <post@ralfj.de>
Mon, 8 Jun 2015 18:13:27 +0000 (20:13 +0200)
committerRalf Jung <post@ralfj.de>
Mon, 8 Jun 2015 18:13:27 +0000 (20:13 +0200)

No differences found