« Previous | Next » 

Revision e7dbab57

IDe7dbab5716b42890d7de7e571be22e1524bc8870
Parent a428b319
Child 3325f29b

Added by Javi Fontan almost 9 years ago

feature #1153: help message is printed on error

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences