From 7b0fc75a174ac69ee17858ebb723273111efb358 Mon Sep 17 00:00:00 2001 From: "Jason A. Donenfeld" Date: Fri, 2 Feb 2018 22:03:11 +0100 Subject: [PATCH] keygen-html: fix up copyright Signed-off-by: Jason A. Donenfeld --- contrib/keygen-html/src/curve25519_generate.c | 4 ---- 1 file changed, 4 deletions(-) diff --git a/contrib/keygen-html/src/curve25519_generate.c b/contrib/keygen-html/src/curve25519_generate.c index 8b4bbb3..fc47575 100644 --- a/contrib/keygen-html/src/curve25519_generate.c +++ b/contrib/keygen-html/src/curve25519_generate.c @@ -1,10 +1,6 @@ /* SPDX-License-Identifier: GPL-2.0 * - * Copyright (C) 2015-2016 The fiat-crypto Authors. * Copyright (C) 2018 Jason A. Donenfeld . All Rights Reserved. - * - * This is a machine-generated formally verified implementation of curve25519 DH from: - * https://github.com/mit-plv/fiat-crypto */ #include