Mikolaj Izdebski 599c876e6a jenkins: Redirect port 80 to 8080		2015-06-26 20:27:24 +00:00
..
master	jenkins: Redirect port 80 to 8080	2015-06-26 20:27:24 +00:00
slave/tasks	enable jenkins service to start on boot	2015-06-26 19:17:11 +00:00