diff options
| author | Timothy G Rogers <[email protected]> | 2017-08-15 23:53:46 -0400 |
|---|---|---|
| committer | GitHub Enterprise <[email protected]> | 2017-08-15 23:53:46 -0400 |
| commit | bff1764efb3e1dc91d61190ab61909ac345ec2f0 (patch) | |
| tree | 3e7a1d91dd78bc785d6009853319904ee269fdf4 /src/Makefile | |
| parent | 2430287d5dc646d8ecc5ac4ea46d4ebccbd9b641 (diff) | |
Dev purdue integration (#5)
* ignore tags
* Getting the Jenkinsfile to work with 4.5, 8.0 and do them in parallel.
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions