From 2ba0c6080e7175ef5d2fc4c4923f707337db6d5e Mon Sep 17 00:00:00 2001 From: Quaternions Date: Fri, 21 Jul 2023 00:18:29 -0700 Subject: [PATCH] cannot rename lib.rs --- src/{teapot.rs => lib.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename src/{teapot.rs => lib.rs} (100%) diff --git a/src/teapot.rs b/src/lib.rs similarity index 100% rename from src/teapot.rs rename to src/lib.rs