« Previous | Next » 

Revision 10ba7393

ID10ba7393b4003b5fbb4e67a50eb15e02ce4256af
Parent f2ecd8b6
Child ec7cf3b9

Added by Hans-Christoph Steiner about 4 years ago

jenkins.sh: only exit with error on ERROR or FATAL from pylint

refs #1888

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences