diff options
| author | varac <varacanero@zeromail.org> | 2015-12-16 23:30:27 +0100 |
|---|---|---|
| committer | varac <varacanero@zeromail.org> | 2015-12-16 23:30:27 +0100 |
| commit | ee7007de216c3ae4b2b15a613a60fd3b6d712fd5 (patch) | |
| tree | 048147ba0834fd1a43c1a23b3daa07687a5f80b5 /vagrant/vagrant.config | |
| parent | 3a02d3ab10f3f1803616925549155678b1519c3e (diff) | |
[docs] Use jenkins.leap.se for build status badge
Diffstat (limited to 'vagrant/vagrant.config')
0 files changed, 0 insertions, 0 deletions