From d8041f29ad728320ca763ff3852508b617592b1a Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 3 Feb 2017 14:14:54 +0000
Subject: licensing

---
 etc/arm_header  | 4 ++--
 etc/mips_header | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

(limited to 'etc')

diff --git a/etc/arm_header b/etc/arm_header
index 566020aa..28639935 100644
--- a/etc/arm_header
+++ b/etc/arm_header
@@ -1,6 +1,6 @@
 
-Copyright (c) 2015-2016 Shaked Flur
-Copyright (c) 2015-2016 Kathyrn Gray
+Copyright (c) 2015-2017 Shaked Flur
+Copyright (c) 2015-2017 Kathyrn Gray
 All rights reserved.
 
 This software was developed by the University of Cambridge Computer
diff --git a/etc/mips_header b/etc/mips_header
index baf682e8..4a99ad2e 100644
--- a/etc/mips_header
+++ b/etc/mips_header
@@ -1,6 +1,6 @@
 
-Copyright (c) 2015-2016 Robert M. Norton
-Copyright (c) 2015-2016 Kathyrn Gray
+Copyright (c) 2015-2017 Robert M. Norton
+Copyright (c) 2015-2017 Kathyrn Gray
 All rights reserved.
 
 This software was developed by the University of Cambridge Computer
-- 
cgit v1.2.3