James E. Blair 1f4c2bb104 Switch the launcher to Gearman. ... Remove the Jenkins launcher and add a new Gearman launcher (designed to be compatible with Jenkins) in its place. See the documentation for how to set up the Gearman Plugin for Jenkins. Change-Id: Ie7224396271d7375f4ea42eebb57f883bc291738		2013-05-09 21:00:50 -07:00
..
source	Switch the launcher to Gearman.	2013-05-09 21:00:50 -07:00
Makefile	sphinx is now stricter	2013-01-15 18:35:53 +00:00