From a27cce49ef1a8100e617642fdc281bf9b8fa856f Mon Sep 17 00:00:00 2001 From: "Jason A. Donenfeld" Date: Fri, 2 Feb 2018 22:03:11 +0100 Subject: keygen-html: fix up copyright --- contrib/examples/keygen-html/src/curve25519_generate.c | 4 ---- 1 file changed, 4 deletions(-) (limited to 'contrib/examples/keygen-html') diff --git a/contrib/examples/keygen-html/src/curve25519_generate.c b/contrib/examples/keygen-html/src/curve25519_generate.c index 8b4bbb3..fc47575 100644 --- a/contrib/examples/keygen-html/src/curve25519_generate.c +++ b/contrib/examples/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 -- cgit v1.2.3-59-g8ed1b