Merge remote-tracking branch 'origin/main'

bbartholdy · Feb 17, 2023 · 0271db7 · 0271db7
2 parents a3d1cb3 + 966c8e1
commit 0271db7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 10 deletions.
diff --git a/.binder/Dockerfile b/.binder/Dockerfile
diff --git a/.binder/runtime.txt b/.binder/runtime.txt
@@ -0,0 +1 @@
+r-4.2.0-2022-11-10