Daniel Watkins d9f0958627 Update Sphinx extlinks for new Jenkins domain name ... The Jenkins website, including the wiki subdomain, has moved from jenkins-ci.org to jenkins.io. Change-Id: Idd3eae89fdc2363979b4cf33903a0d09b6ae49ae		2017-08-01 14:06:36 -04:00
..
source	Update Sphinx extlinks for new Jenkins domain name	2017-08-01 14:06:36 -04:00
Makefile	sphinx is now stricter	2013-01-15 18:32:46 +00:00