From 28e23b9f3bafb154ab81861de9786a4ce526b441 Mon Sep 17 00:00:00 2001 From: Max Krummenacher Date: Fri, 6 Dec 2019 18:41:04 +0100 Subject: default.xml: actually pin all repos now that we have integration and next These finishes commit '1dd22db manifest: add integration and next as separate files' Change-Id: I1655893117937f31eb64263bcf7d1e9dc929ce82 Signed-off-by: Max Krummenacher --- default.xml | 34 +++++++++++++++++----------------- 1 file changed, 17 insertions(+), 17 deletions(-) diff --git a/default.xml b/default.xml index bf7c822..5d2e33e 100644 --- a/default.xml +++ b/default.xml @@ -12,23 +12,23 @@ - - - - - - - - - - - - - - + + + + + + + + + + + + + + - - - + + + -- cgit v1.2.3