Update configuration

2019-02-26 09:31:55 +01:00 · 2019-02-26 09:31:55 +01:00 · 84d446fa3d
commit 84d446fa3d
parent 3e910ae799
1 changed files with 5 additions and 0 deletions
--- a/repo_config.json
+++ b/repo_config.json
@ -1760,6 +1760,11 @@
            "obs": "okteta",
            "branch": "master"
        },
+        {
+            "kde": "kile",
+            "obs": "kile5",
+            "branch": "master"
+	},
        {
            "kde": "kdevplatform",
            "obs": "kdevplatform",