Allow choosing an alternate Debian mirror for the chroot
authorCesar_Strauss <Cesar_Strauss@web>
Tue, 22 Aug 2023 22:33:07 +0000 (23:33 +0100)
committerIkiWiki <ikiwiki.info>
Tue, 22 Aug 2023 22:33:07 +0000 (23:33 +0100)
commit7f6370c5d5ea8e38476769de3a3747fefaaaa6e0
tree3fa811cad38069c4ce262567840551e8ee7a0210
parent63992374932e6ec174628307493d79fb0803f8be
Allow choosing an alternate Debian mirror for the chroot
HDL_workflow/devscripts.mdwn