Fri, 02 Oct 2009 20:51:32 +0200 | wenzelm | misc tuning and simplification; | changeset | files |
Fri, 02 Oct 2009 20:10:25 +0200 | wenzelm | macbroy2: bigger jobs first, to avoid danger of swapping during daytime; | changeset | files |
Fri, 02 Oct 2009 10:35:13 +0200 | wenzelm | less ambitious heap settings; | changeset | files |