From 826413ce80f71b15a6e825afc2f66fa84cfe7111 Mon Sep 17 00:00:00 2001 From: Jonathan Protzenko Date: Mon, 6 May 2024 17:37:04 -0700 Subject: [PATCH] more reasonable name --- libcrux/{mitch-and-sam.sh => standalone-kyber.sh} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename libcrux/{mitch-and-sam.sh => standalone-kyber.sh} (100%) diff --git a/libcrux/mitch-and-sam.sh b/libcrux/standalone-kyber.sh similarity index 100% rename from libcrux/mitch-and-sam.sh rename to libcrux/standalone-kyber.sh