From c20f2a3d5d300790b748fdceb4312401630b6b5f Mon Sep 17 00:00:00 2001 From: Mathieu Benoit Date: Sun, 1 Jan 2023 05:49:29 -0500 Subject: [PATCH] [UPD] manifest: remove revision 12.0, it's the default - some repo remove 12.0_dev after update and refactoring --- manifest/default.dev.xml | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/manifest/default.dev.xml b/manifest/default.dev.xml index 3cade3f..a53f8bc 100644 --- a/manifest/default.dev.xml +++ b/manifest/default.dev.xml @@ -26,7 +26,7 @@ - + @@ -35,7 +35,7 @@ - + @@ -54,7 +54,7 @@ - + @@ -62,7 +62,7 @@ - + @@ -98,13 +98,13 @@ - + - + @@ -127,7 +127,7 @@ - +