diff options
author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-03-04 13:26:46 +0000 |
---|---|---|
committer | GitHub <noreply@github.com> | 2019-03-04 13:26:46 +0000 |
commit | 8b218f9fd8ef283c5d1dde0e7268301de64f47d4 (patch) | |
tree | b8f6a1146d76f46aaeb765dc017ec7ebaea5c330 /build/jenkins-build.sh | |
parent | f3b4bae3e07d5b6808318d680429722cf7d92f48 (diff) | |
download | framework-8b218f9fd8ef283c5d1dde0e7268301de64f47d4.tar.gz framework-8b218f9fd8ef283c5d1dde0e7268301de64f47d4.tar.bz2 framework-8b218f9fd8ef283c5d1dde0e7268301de64f47d4.tar.xz framework-8b218f9fd8ef283c5d1dde0e7268301de64f47d4.zip |
use bullet point
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions