From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 13 Jul 2019 18:33:22 +0000 (+0200)
Subject: doc/dev/*.texi: Add copyright and licence notices
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a9e49cdd81db02cef2a41c1ad3584d74ae3d7476;hp=a9e49cdd81db02cef2a41c1ad3584d74ae3d7476;p=pspp

doc/dev/*.texi: Add copyright and licence notices
---