diff options
| author | Shaked Flur | 2017-12-04 15:14:42 +0000 |
|---|---|---|
| committer | Shaked Flur | 2017-12-04 15:14:42 +0000 |
| commit | 489eafc6c3c8191e2a8c1eb1386749f5e440eceb (patch) | |
| tree | 9267097e84c0d677a055ccf021f11c225c350992 /etc/power_header | |
| parent | 5fa993caef3c48da36f641bf3608a9515ecc40cf (diff) | |
added the Power model
Diffstat (limited to 'etc/power_header')
| -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 |