diff options
| author | Edoardo Pasca <edo.paskino@gmail.com> | 2019-05-10 16:29:37 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-10 16:29:37 +0100 |
| commit | 9139d8a2be7d03ef10c42aa605ec9e6217067937 (patch) | |
| tree | 4d3051298e03c6b70593581912454c0f8bcd7687 /build/jenkins-build.sh | |
| parent | 3441b56e1ba887c71e54eaea7a0a71e44c58c5b1 (diff) | |
| parent | e89324626a5ed650d42914aa5ac98e50ca04a28b (diff) | |
| download | framework-9139d8a2be7d03ef10c42aa605ec9e6217067937.tar.gz framework-9139d8a2be7d03ef10c42aa605ec9e6217067937.tar.bz2 framework-9139d8a2be7d03ef10c42aa605ec9e6217067937.tar.xz framework-9139d8a2be7d03ef10c42aa605ec9e6217067937.zip | |
Merge pull request #279 from vais-ral/header
added NOTICE.txt
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions