diff options
| author | Peter Sewell | 2017-02-03 14:14:54 +0000 |
|---|---|---|
| committer | Peter Sewell | 2017-02-03 14:14:54 +0000 |
| commit | d8041f29ad728320ca763ff3852508b617592b1a (patch) | |
| tree | c708fdb87f7034bc131a7cf42df905715bb53c0b /etc | |
| parent | ba013c46a3d03448c5b0747e032f2d35d1c3fa12 (diff) | |
licensing
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/arm_header | 4 | ||||
| -rw-r--r-- | etc/mips_header | 4 |
2 files changed, 4 insertions, 4 deletions
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 |