From e84e8e7fe385d6cc65277a638fe9d197bb75485c Mon Sep 17 00:00:00 2001 From: Ayah Almousa <38053754+aalmousa@users.noreply.github.com> Date: Tue, 17 Oct 2023 12:48:51 -0500 Subject: [PATCH] Rename MatrixSchubert/Documentation/MatrixSchubertInvariantsDOC.m2 to MatrixSchubert/MatrixSchubertInvariantsDOC.m2 --- MatrixSchubert/{Documentation => }/MatrixSchubertInvariantsDOC.m2 | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename MatrixSchubert/{Documentation => }/MatrixSchubertInvariantsDOC.m2 (100%) diff --git a/MatrixSchubert/Documentation/MatrixSchubertInvariantsDOC.m2 b/MatrixSchubert/MatrixSchubertInvariantsDOC.m2 similarity index 100% rename from MatrixSchubert/Documentation/MatrixSchubertInvariantsDOC.m2 rename to MatrixSchubert/MatrixSchubertInvariantsDOC.m2