Revision 08acb72a
| ID | 08acb72a505028ce6a4c3c05c888f09b147d1951 |
| Parent | e1bffefb |
| Child | 167e88e1 |
add script for Jenkins build
Having everything in a script makes it easier to maintain. Jenkins then
runs the ant commands itself.
Files
- added
- modified
- copied
- renamed
- deleted