Adeeb Shihadeh 6b942c94de Revert "build script", should've been on branch ...

This reverts commit 975ab40786.

2020-07-06 20:16:16 -07:00

..

build_devel.sh

increase jenkins timeout

2020-07-03 20:34:31 -07:00

build_release2.sh

Revert "build script", should've been on branch

2020-07-06 20:16:16 -07:00

files_common

remove Jenkinsfile from release files

2020-07-05 18:04:25 -07:00