From 4360c60205d379f349cbfc6e8c0a691a0a4d45fc Mon Sep 17 00:00:00 2001 From: Andres Erbsen Date: Sat, 25 Jun 2016 19:16:34 -0400 Subject: update licensing information --- LICENSE | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'LICENSE') diff --git a/LICENSE b/LICENSE index 35e3cc51d..191fe6c04 100644 --- a/LICENSE +++ b/LICENSE @@ -1,6 +1,6 @@ The MIT License (MIT) -Copyright (c) 2015 Programming Languages and Verification Group at MIT CSAIL +Copyright (c) 2015-2016 the fiat-crypto authors (see the AUTHORS file). Permission is hereby granted, free of charge, to any person obtaining a copy of this software and associated documentation files (the "Software"), to deal -- cgit v1.2.3