From 4d3eb84e03e103aa737bb81c7cb7c8248403d0c5 Mon Sep 17 00:00:00 2001
From: Felipe Ventura <37639194+feventura@users.noreply.github.com>
Date: Sun, 21 Jul 2024 17:57:16 -0400
Subject: [PATCH] Rename Makefile to Makefile

---
 providers/{oqs-openssl111 => oqsprovider}/Makefile | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename providers/{oqs-openssl111 => oqsprovider}/Makefile (100%)

diff --git a/providers/oqs-openssl111/Makefile b/providers/oqsprovider/Makefile
similarity index 100%
rename from providers/oqs-openssl111/Makefile
rename to providers/oqsprovider/Makefile