Rename namespace to docker.tools

I have tested this version in the datoms project.
2023-04-22 20:27:02 -07:00
parent 4f77f40fb2
commit 63d3cc2f0a
8 changed files with 53 additions and 29 deletions
--- a/.envrc
+++ b/.envrc
@@ -0,0 +1 @@
+use flake