diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-15 01:45:32 +0100 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2012-11-15 01:45:32 +0100 |
| commit | 905e69b74fe6e822e0d00245e2c210e9aadb6437 (patch) | |
| tree | a41c2e3c248c81306ac5ab2b2d583e2b5efeb341 /undo.h | |
| parent | 8c264612fd7056e1d47dedc2a245e4deb83cc552 (diff) | |
make it possible for interface classes to define a get_options() method to add an options group to the help menu
Diffstat (limited to 'undo.h')
0 files changed, 0 insertions, 0 deletions