From c73b2b68fa33abb83505263abc0865bfa53d0326 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 15 Aug 2023 13:11:46 -0700
Subject: [PATCH] rename to for case sensitivity

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/qe/mbi/{Cmakelists.txt => CMakeLists.txt} | 0
 1 file changed, 0 insertions(+), 0 deletions(-)
 rename src/qe/mbi/{Cmakelists.txt => CMakeLists.txt} (100%)

diff --git a/src/qe/mbi/Cmakelists.txt b/src/qe/mbi/CMakeLists.txt
similarity index 100%
rename from src/qe/mbi/Cmakelists.txt
rename to src/qe/mbi/CMakeLists.txt