Represents the last keystroke.
This document was generated by root on October 14, 2020 using texi2html 1.82.