Merge remote-tracking branch 'origin/main'

"updated dockerfile locally, merging with github repo edited by repo2docker action"
SSabet · Oct 16, 2023 · 5b25c6b · 5b25c6b
2 parents 4565580 + 68e7493
commit 5b25c6b
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/binder/Dockerfile b/binder/Dockerfile
@@ -0,0 +1,2 @@
+### DO NOT EDIT THIS FILE! This Is Automatically Generated And Will Be Overwritten ###
+FROM ssabet/ec413-pluto-notebook.jl:16a4edacd40a