Update repository configuration

2017-10-02 22:56:49 +02:00 · 2017-10-02 22:56:49 +02:00 · eb5ea5c8c1
commit eb5ea5c8c1
parent 9c62c76c39
1 changed files with 5 additions and 0 deletions
--- 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",