diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-06-26 16:00:47 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-06-26 16:00:47 +0100 |
| commit | 3993fdd27e15580c732fb14cb6371e4758f6b52a (patch) | |
| tree | 9344ec52e5ed106e3a2338f8a24ecbc91e57e11d /build/jenkins-build.sh | |
| parent | 57382bc824cf38ea1ce0b1bf62e4b3d39c0296be (diff) | |
| download | framework-plugins-3993fdd27e15580c732fb14cb6371e4758f6b52a.tar.gz framework-plugins-3993fdd27e15580c732fb14cb6371e4758f6b52a.tar.bz2 framework-plugins-3993fdd27e15580c732fb14cb6371e4758f6b52a.tar.xz framework-plugins-3993fdd27e15580c732fb14cb6371e4758f6b52a.zip | |
regulariser return a tuple
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions