From 4d2537ee877e5b50f429d5a5c4aeccfdbf083ae0 Mon Sep 17 00:00:00 2001 From: Luca Beltrame Date: Fri, 18 Nov 2016 20:22:14 +0100 Subject: [PATCH] Update mappings --- repo_config.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/repo_config.json b/repo_config.json index 6fdc964..78184d1 100644 --- a/repo_config.json +++ b/repo_config.json @@ -1530,7 +1530,7 @@ }, { "kde": "okular", - "obs": "okular5", + "obs": "okular", "branch": "master" }, {