jmMeessen / devbox

Building a portable docker based developer toolbox
12 stars 6 forks source link

Implements basic filesystem tunings #12

Closed dduportal closed 9 years ago

dduportal commented 9 years ago

This PR need that https://github.com/jmMeessen/devbox/pull/10 has been merged.

It introduces two things :

dduportal commented 9 years ago

Bad PR destination, my bad.