kaffe: Remove

It no longer builds and doesn't seem very maintained.
This commit is contained in:
Eelco Dolstra
2014-01-03 13:47:29 +01:00
parent 54d1721414
commit ec685e30de
4 changed files with 0 additions and 22 deletions

View File

@@ -725,7 +725,6 @@ let
julia = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
jwm = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
k3d = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
kaffe = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
kde3 = {
arts = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };
kdelibs = { type = "job"; systems = ["x86_64-linux"]; schedulingPriority = 4; };