Merge pull request #447 from riscv-boom/move-docker

[ci] remove docker from riscv-boom
riscv-boom · Mar 10, 2020 · a26504f · a26504f
2 parents fb248eb + b047a46
commit a26504f
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 201 deletions.
diff --git a/.circleci/images/Dockerfile b/.circleci/images/Dockerfile
diff --git a/.circleci/images/README.md b/.circleci/images/README.md