Move Debian Docker file

Signed-off-by: Michael Opdenacker <michael.opdenacker@bootlin.com>
This commit is contained in:
Michael Opdenacker 2019-07-18 08:08:52 +02:00
parent f571743492
commit 23a0419a14