diff options
| author | Tomas Kulhanek <tomas.kulhanek@stfc.ac.uk> | 2019-02-28 16:24:01 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-28 16:24:01 +0000 |
| commit | 879c87c5709ee194a8c7a2207f5a21d4a757f723 (patch) | |
| tree | eddf7bc14a998ffabc7e9e01f0cca2ac44b1d88a /build/jenkins-build.sh | |
| parent | 4c728cf72345f7ab7967380cb536529fd9b1403d (diff) | |
| parent | 68e6f3397e8a450854f39a5d514e1f747b9031a4 (diff) | |
| download | regularization-879c87c5709ee194a8c7a2207f5a21d4a757f723.tar.gz regularization-879c87c5709ee194a8c7a2207f5a21d4a757f723.tar.bz2 regularization-879c87c5709ee194a8c7a2207f5a21d4a757f723.tar.xz regularization-879c87c5709ee194a8c7a2207f5a21d4a757f723.zip | |
Merge pull request #104 from vais-ral/newdirstructure
New directory structure, Merged other changes. The build script checks old and new structure.
Diffstat (limited to 'build/jenkins-build.sh')
0 files changed, 0 insertions, 0 deletions