Merge pull request #1073 from AladW/chroot-devtools-v1
commite49ec0f0ea14b2c2c76ee133f7e0e2c0f6880919
authorAlad Wenter <AladW@users.noreply.github.com>
Mon, 22 May 2023 12:24:42 +0000 (22 14:24 +0200)
committerGitHub <noreply@github.com>
Mon, 22 May 2023 12:24:42 +0000 (22 14:24 +0200)
tree32e3284c87bf319e12bd83df5187589da7497bb6
parentc27f98947faff6a0fbfe9b991e958fef431fca72
parent7f8756d8cf56f06d456601834b96f13d290c2cdd
Merge pull request #1073 from AladW/chroot-devtools-v1

`chroot`: use conditional default paths