bootstrap: remove unused docker.py
[garming/samba-autobuild/.git] / wscript_configure_embedded_heimdal
2019-01-29 Stefan Metzmacherwscript: separate embedded_heimdal from system_heimdal