diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2018-09-21 09:25:19 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-21 09:25:19 +0100 |
| commit | 3948cb31f4de56b91010e70cacdbe117972785e7 (patch) | |
| tree | 6a54ba9541b0fb098690ac1a721eca8eecf002cf /build/jenkins-build.sh | |
| parent | 4f7b325602e113db8e8ecb4431675b78e4e578dc (diff) | |
| download | framework-plugins-3948cb31f4de56b91010e70cacdbe117972785e7.tar.gz framework-plugins-3948cb31f4de56b91010e70cacdbe117972785e7.tar.bz2 framework-plugins-3948cb31f4de56b91010e70cacdbe117972785e7.tar.xz framework-plugins-3948cb31f4de56b91010e70cacdbe117972785e7.zip | |
inherit from Function
closes #15
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions