From eb5ea5c8c119516bc552405590eb1f35d79e7cfd Mon Sep 17 00:00:00 2001 From: Luca Beltrame Date: Mon, 2 Oct 2017 22:56:49 +0200 Subject: [PATCH] Update repository configuration --- repo_config.json | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/repo_config.json b/repo_config.json index 96dfd84..21636d8 100644 --- a/repo_config.json +++ b/repo_config.json @@ -1735,6 +1735,11 @@ "obs": "kpmcore", "branch": "master" }, + { + "kde": "ktexteditorpreviewplugin", + "obs": "ktexteditorpreviewplugin", + "branch": "master" + }, { "kde": "partitionmanager", "obs": "partitionmanager",