gwt: Remove obsolete version

This commit is contained in:
Eelco Dolstra
2013-01-28 18:31:17 +01:00
parent 6930efd1e5
commit f7cc884de4
6 changed files with 9 additions and 56 deletions
-1
View File
@@ -584,7 +584,6 @@ in
gv = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
gwenhywfar = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
gwrap = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
gwt = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
gxneur = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
hadoop = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
harfbuzz = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };