Revision 3dbb5c5b
ID | 3dbb5c5b332f562e0b7a41c349a00f60d9c17741 |
Parent | 0cce6168 |
Child | ee7a9173 |
add jenkins script to a script in the local repo
Files
- added
- modified
- copied
- renamed
- deleted
ID | 3dbb5c5b332f562e0b7a41c349a00f60d9c17741 |
Parent | 0cce6168 |
Child | ee7a9173 |
Added by Hans-Christoph Steiner almost 4 years ago
add jenkins script to a script in the local repo