F10, ESC 0, ^X ^C, ^X c
Exit GNU Interactive Tools (‘exit’).
This document was generated by Ian Beckwith on March, 1 2009 using texi2html 1.78.