tree a654186dc87061aa89ffcb580041b802f61b607b
parent e1dc79befe3eb614f2b66fca0de7ff0f1f01fc39
author Davide Pesavento <davidepesa@gmail.com> 1714782054 -0400
committer Davide Pesavento <davidepesa@gmail.com> 1714782355 -0400
gpgsig -----BEGIN SSH SIGNATURE-----
 U1NIU0lHAAAAAQAAADMAAAALc3NoLWVkMjU1MTkAAAAgUq1kTswyqVSwub8lqsj9jRjIUn
 OG0Hs5bGcrohWnIDgAAAADZ2l0AAAAAAAAAAZzaGE1MTIAAABTAAAAC3NzaC1lZDI1NTE5
 AAAAQDlMtrnGQxunBnf9Q+eC92Ga576A+6RR3kYP4ykTenC/wahqbJMTg88zzP0njHOdjq
 +mQSZmKXFy4jDbeyk2zAk=
 -----END SSH SIGNATURE-----

docker: simplify Dockerfile

Change-Id: Ib77605ff13d67f5ae14a68d26f2f1caf5acc9572