From 64070acb5c64b3c73b89ef6ae9a3bcc72c2779d9 Mon Sep 17 00:00:00 2001 From: GTBarkley Date: Mon, 12 Jun 2023 17:47:09 +0000 Subject: [PATCH] renamed comm_alg folder so imports work --- {comm_alg => CommAlg}/grant.lean | 0 {comm_alg => CommAlg}/jayden(krull-dim-zero).lean | 0 {comm_alg => CommAlg}/krull.lean | 0 {comm_alg => CommAlg}/resources.lean | 0 4 files changed, 0 insertions(+), 0 deletions(-) rename {comm_alg => CommAlg}/grant.lean (100%) rename {comm_alg => CommAlg}/jayden(krull-dim-zero).lean (100%) rename {comm_alg => CommAlg}/krull.lean (100%) rename {comm_alg => CommAlg}/resources.lean (100%) diff --git a/comm_alg/grant.lean b/CommAlg/grant.lean similarity index 100% rename from comm_alg/grant.lean rename to CommAlg/grant.lean diff --git a/comm_alg/jayden(krull-dim-zero).lean b/CommAlg/jayden(krull-dim-zero).lean similarity index 100% rename from comm_alg/jayden(krull-dim-zero).lean rename to CommAlg/jayden(krull-dim-zero).lean diff --git a/comm_alg/krull.lean b/CommAlg/krull.lean similarity index 100% rename from comm_alg/krull.lean rename to CommAlg/krull.lean diff --git a/comm_alg/resources.lean b/CommAlg/resources.lean similarity index 100% rename from comm_alg/resources.lean rename to CommAlg/resources.lean