Dockerfile as a development environment #943

Merged

jrgemignani merged 1 commit intoapache:masterfrom

panosfol:docker

Jul 19, 2023

Commits on Jul 15, 2023

docker: add Dockerfile.dev & move docker-related files to "docker/"
panosfol
committed