23 Dec
2008
23 Dec
'08
4:36 p.m.
Hi Martin, What do you think is better from a maintenance pov: disabling the job server temporarily, or explicitly adding the dependancies to the Makefile(.in) ? Cheers, Taco