chiark / gitweb /
Just noticed that the return value of midend_process_key() wasn't
authorSimon Tatham <anakin@pobox.com>
Tue, 10 Jun 2008 17:24:09 +0000 (17:24 +0000)
committerSimon Tatham <anakin@pobox.com>
Tue, 10 Jun 2008 17:24:09 +0000 (17:24 +0000)
commit2066ddabd64ca9047ccc2c1071b38df14ec14ee0
treeb6e2600a953cb66685608ab6e92578895c0ddee8
parent3633fec8ae2178782a59136049c1552c9c331556
Just noticed that the return value of midend_process_key() wasn't
documented.

[originally from svn r8062]
devel.but