doc/dev/*.texi: Add copyright and licence notices
authorJohn Darrington <john@darrington.wattle.id.au>
Sat, 13 Jul 2019 18:33:22 +0000 (20:33 +0200)
committerJohn Darrington <john@darrington.wattle.id.au>
Mon, 22 Jul 2019 11:18:44 +0000 (13:18 +0200)

No differences found