commit | 9274fde894a41417d026cd336c7aca35701f1bdd | [log] [tgz] |
---|---|---|
author | Andy Seaborne <andy@apache.org> | Tue Jul 28 19:30:31 2020 +0100 |
committer | GitHub <noreply@github.com> | Tue Jul 28 19:30:31 2020 +0100 |
tree | 1e67eed7b38fbcd43da3df92fd823b0a995a33a9 | |
parent | d9895568597aa8e34163bb92eb0f95f8d6ef0248 [diff] | |
parent | 4db47abe5edab45237cb20bdd0ce5d79de8eb614 [diff] |
Merge pull request #17 from rlenferink/add-jenkinsfile Added Jenkinsfile to put deployment configuration in version control