« Previous | Next » 

Revision 2d562767

ID2d5627677a75eadb0d2d3a254183d3afe51b0d32
Parent 07302197
Child 9cc22555

Added by Bob Lantz about 5 years ago

Use send_signal to kill (possibly remote) xterms

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences