James E. Blair 9d8929af1e Add gerrit dev/prod servers to jenkins slave known_hosts. ...

Change-Id: Iea32ad3aedbee996db53655842061d14c9e3d876

2011-07-18 11:54:41 -07:00

..

init.pp

Removed devscripts.

2011-07-18 11:32:32 -04:00

jenkinsuser.pp

Add gerrit dev/prod servers to jenkins slave known_hosts.

2011-07-18 11:54:41 -07:00

slavecirepo.pp

Fixed a home dir/permissions problem.

2011-07-16 16:46:58 -04:00