Disable Docker as slow Binder build.

DESIHIGH · Sep 10, 2020 · 54beefa · 54beefa
1 parent 388808a
commit 54beefa
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/Dockerfile → Docker/Dockerfile b/Dockerfile → Docker/Dockerfile