Permalink
Browse files

Update COPYING

  • Loading branch information...
xrchz committed May 29, 2018
1 parent e7b7b83 commit 59ccb85af375e55d10ee877cbea53633c8a56a76
Showing with 2 additions and 2 deletions.
  1. +2 −2 COPYING
View
@@ -1,7 +1,7 @@
CakeML Copyright Notice, License, and Disclaimer.
Copyright 2013, 2014, 2015, 2016, 2017 by
Anthony Fox, Ramana Kumar, Magnus Myreen,
Copyright 2013, 2014, 2015, 2016, 2017, 2018 by
Anthony Fox, Google LLC, Ramana Kumar, Magnus Myreen,
Michael Norrish, Scott Owens, Yong Kiam Tan, and
other contributors listed at https://cakeml.org

0 comments on commit 59ccb85

Please sign in to comment.