Dev #3

Merged jryland merged 5 commits into jryland:master from jryland:dev on 6 Nov 2019
2019-11-06
@John Ryland
Merge pull request #2 from jryland/master ...
John Ryland committed on 6 Nov 2019
@John Ryland
add jenkins pipeline
John Ryland committed on 6 Nov 2019
@John Ryland
debug
John Ryland committed on 6 Nov 2019
@John Ryland
debug
John Ryland committed on 6 Nov 2019
@John Ryland
Executable!
John Ryland committed on 6 Nov 2019