From ff54e8b4a758d35f4a1d4e0b0303092e7d96da0e Mon Sep 17 00:00:00 2001 From: Kévin Le Gouguec Date: Tue, 5 Feb 2019 08:44:52 +0100 Subject: Renommage des entêtes de constantes MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Aucune idée de pourquoi j'avais insisté pour nommer les deux "parameters" plutôt que de distinguer les constantes des paramètres. Peut-être par souci de compatibilité avec FELICS, qui utilise constants.h. 🤷 --- src/add_tweakeyloop/parameters.h | 1 - 1 file changed, 1 deletion(-) delete mode 120000 src/add_tweakeyloop/parameters.h (limited to 'src/add_tweakeyloop/parameters.h') diff --git a/src/add_tweakeyloop/parameters.h b/src/add_tweakeyloop/parameters.h deleted file mode 120000 index 8eff42f..0000000 --- a/src/add_tweakeyloop/parameters.h +++ /dev/null @@ -1 +0,0 @@ -../ref/parameters.h \ No newline at end of file -- cgit v1.2.3