diff options
author | Philip Hands <phil@hands.com> | 2016-11-15 21:51:07 +0100 |
---|---|---|
committer | Holger Levsen <holger@layer-acht.org> | 2016-11-15 22:06:46 +0100 |
commit | 38eed22d4c4f6c04b326e43c849cbf82d191c26b (patch) | |
tree | bbc3f43672905af7c84900b2728e0cdd313800da /userContent/theme | |
parent | 098d0941f728f1fe0f49019328c07807e5d3649f (diff) | |
download | jenkins.debian.net-38eed22d4c4f6c04b326e43c849cbf82d191c26b.tar.xz |
fixup! pb10: make sure that /dev/vdb is mounted as .../vm-pools
Signed-off-by: Holger Levsen <holger@layer-acht.org>
Diffstat (limited to 'userContent/theme')
0 files changed, 0 insertions, 0 deletions