diff options
| author | Yehoshua Pesach Wallach <yehoshuapw@gmail.com> | 2022-05-10 14:55:27 +0300 |
|---|---|---|
| committer | JF <JF002@users.noreply.github.com> | 2022-05-10 22:20:02 +0200 |
| commit | c9f23c11b314c5ada5ccac288594e600d799743d (patch) | |
| tree | e449ebc7fcf940f617e4efe8b6254dc0dabdbbff /.devcontainer/make_build_dir.sh | |
| parent | f56788465d9fae5753213543f5383d9b1747844c (diff) | |
update docker to 22, and use python3 by default
Diffstat (limited to '.devcontainer/make_build_dir.sh')
0 files changed, 0 insertions, 0 deletions