justinclayton/pinocchio

Use isolated VAGRANT_HOME to manage default Pinocchio boxes

Closed this issue · 1 comments

justinclayton commented
Use isolated VAGRANT_HOME to manage default Pinocchio boxes
justinclayton commented

Resolved in 3e7066c