Merge branch 'ansible' of ssh://git.planet-lab.org/git/bootmanager into ansible
[bootmanager.git] / plc.d /
drwxr-xr-x   ..
-rwxr-xr-x 1018 bootmanager