in fact it's much better to handle either bootstrapfs or nodeimage as
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 8 Feb 2013 09:00:29 +0000 (10:00 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 8 Feb 2013 09:00:29 +0000 (10:00 +0100)
commit39a06704d35f76e195bc79c11443d09125726a72
tree77009ac6d6c8de4293e73e6824d88224b84a1967
parentb15a583cd0b69b07fa71381af4962cde224ccae8
in fact it's much better to handle either bootstrapfs or nodeimage as
several repos can be present at the same time
partial-repo.sh