<?php
/*
 * Options for jenkins plugin
 */

$conf['jenkins.url']   = 'http://jenkins.com';
$conf['jenkins.user']  = '';
$conf['jenkins.token'] = '';