more reasonable name

cryspen · May 7, 2024 · 826413c · 826413c
1 parent 96fc489
commit 826413c
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/libcrux/mitch-and-sam.sh → libcrux/standalone-kyber.sh b/libcrux/mitch-and-sam.sh → libcrux/standalone-kyber.sh