Merge branch 'stable' into develdevel
[tails.git] / vagrant / 
treeb18e4f00ceb429f679217d9f1bf2aca06e246ed5
drwxr-xr-x   ..
-rw-r--r-- 2492 Vagrantfile
drwxr-xr-x - definitions
drwxr-xr-x - lib
drwxr-xr-x - provision