webkitSVN: Remove

It hasn't been updated in a long time.
This commit is contained in:
Eelco Dolstra
2013-07-30 16:52:11 +02:00
parent 60355207c3
commit b509c78ea3
3 changed files with 0 additions and 107 deletions
-1
View File
@@ -1741,7 +1741,6 @@ let
wdfs = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
webkit = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
webkit_gtk2 = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
webkitSVN = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
weechat = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
welkin = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
wesnoth = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };