Revision 0d8bf471
| ID | 0d8bf471065362efb4dbead55c5d604366cd4a8f |
| Parent | 9c7f7850 |
| Child | 05293b51 |
add make-release-build and update jenkins-build to match
Files
- added
- modified
- copied
- renamed
- deleted
| ID | 0d8bf471065362efb4dbead55c5d604366cd4a8f |
| Parent | 9c7f7850 |
| Child | 05293b51 |
Added by Hans-Christoph Steiner over 2 years ago
add make-release-build and update jenkins-build to match