diff -r 2f64eb39c7c3 -r 37f503631eab tip_pbc/os/mm/package_definition.xml --- a/tip_pbc/os/mm/package_definition.xml Wed Oct 20 15:04:15 2010 +0100 +++ b/tip_pbc/os/mm/package_definition.xml Wed Oct 20 15:04:25 2010 +0100 @@ -53,7 +53,7 @@ - + @@ -398,7 +398,7 @@ - + @@ -430,7 +430,7 @@ - +