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)
commita9e49cdd81db02cef2a41c1ad3584d74ae3d7476
tree02ca68f8fcf3a102a2b2135470399dff30d20641
parent848a630f6230abceddbbdd46f3b9c392277cd4db
doc/dev/*.texi: Add copyright and licence notices
12 files changed:
doc/dev/concepts.texi
doc/dev/data.texi
doc/dev/encrypted-file-wrappers.texi
doc/dev/i18n.texi
doc/dev/intro.texi
doc/dev/output.texi
doc/dev/pc+-file-format.texi
doc/dev/portable-file-format.texi
doc/dev/q2c.texi
doc/dev/spv-file-format.texi
doc/dev/syntax.texi
doc/dev/system-file-format.texi