Move dockerfile to the right place

JialianLee · Mar 7, 2020 · ee953f1 · ee953f1
1 parent 9f325f3
commit ee953f1
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/open_spiel/Dockerfile → Dockerfile b/open_spiel/Dockerfile → Dockerfile