« Previous | Next » 

Revision 714526df

ID714526df2156501aed3368232560db5181dfde24
Parent 8222fa9a
Child 319c97ef

Added by Csaba Kiraly over 9 years ago

better kill trap in wrapper script

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences