diff options
Diffstat (limited to 'etc')
| -rw-r--r-- | etc/power_header | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/etc/power_header b/etc/power_header index 7eaf7da9..eb01510e 100644 --- a/etc/power_header +++ b/etc/power_header @@ -1,5 +1,6 @@ -Copyright (c) 2015-2017 ??? +Copyright (c) 2015-2017 Gabriel Kerneis, Susmit Sarkar, Kathyrn Gray +Copyright (c) 2015-2017 Peter Sewell All rights reserved. This software was developed by the University of Cambridge Computer |