« Previous | Next » 

Revision 530db0c7

ID530db0c7373050d5f12290012becee23e0997b41
Parent 0d3ebd02
Child dd73b96c

Added by Hans-Christoph Steiner over 3 years ago

added script for running jenkins builds

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences