« Previous | Next » 

Revision a36dfa3a

IDa36dfa3a4c6f56b52dfd0537aa5d460de6bc5997
Parent 51352ad2
Child 4a90098e

Added by Hans-Christoph Steiner over 3 years ago

make jenkins-build.sh easy to run on any machine

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences