From 8a7b8a5b1525f7330ba59aeac11c7a47a8f78dc4 Mon Sep 17 00:00:00 2001 From: Jake Turner Date: Thu, 1 May 2025 21:00:54 -0700 Subject: [PATCH] fix: remove unneeded Dockerfile --- binder/Dockerfile | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 binder/Dockerfile diff --git a/binder/Dockerfile b/binder/Dockerfile deleted file mode 100644 index 88448ea..0000000 --- a/binder/Dockerfile +++ /dev/null @@ -1,2 +0,0 @@ -### DO NOT EDIT THIS FILE! This Is Automatically Generated And Will Be Overwritten ### -FROM libretextsregistry.ddns.net/libretexts/default-env:ab4e886f8c82 \ No newline at end of file