get rid of old webkit and webkit_gtk2 packages

This commit is contained in:
宋文武
2014-03-30 09:02:07 +08:00
parent 59124ddf95
commit d14b9e9850
11 changed files with 5 additions and 801 deletions
-1
View File
@@ -1724,7 +1724,6 @@ let
wavesurfer = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
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; };
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; };