diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:41:52 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-11-24 11:41:52 -0500 |
| commit | 915ff8e78538d9e3c16c7e2b247a27a424f71d40 (patch) | |
| tree | 849664203b1d550567b19e83399e2684e468864e /doc/manual.tex | |
| parent | 8cfdf845683157b756f485ea91c3fc3f2a2697c6 (diff) | |
Catch more <ccheckbox> events
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions