From 7450cdfe66ab41fa2232cfe671207d3ca40c829f Mon Sep 17 00:00:00 2001 From: Luca Beltrame Date: Thu, 24 May 2018 16:15:55 +0200 Subject: [PATCH] Update repository configuration --- repo_config.json | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/repo_config.json b/repo_config.json index 058b253..3855993 100644 --- a/repo_config.json +++ b/repo_config.json @@ -1663,11 +1663,6 @@ "obs": "messagelib", "branch": "master" }, - { - "kde": "okteta", - "obs": "okteta", - "branch": "master" - }, { "kde": "minuet", "obs": "minuet", @@ -1755,6 +1750,11 @@ } ], "KDE:Unstable:Extra": [ + { + "kde": "okteta", + "obs": "okteta", + "branch": "master" + }, { "kde": "kdevplatform", "obs": "kdevplatform",