« Previous | Next » 

Revision d5868d22

IDd5868d2224231d15c0d57748c504e030e58de22f
Parent 0eb5e8b9
Child 4c761384

Added by hans almost 4 years ago

put Jenkins build process into a script

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences