use 5.0 trunk of bootmanager for the k27 tags set
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 25 Jan 2010 14:23:44 +0000 (14:23 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 25 Jan 2010 14:23:44 +0000 (14:23 +0000)

No differences found