diff options
| author | kobewi <kobewi4e@gmail.com> | 2022-09-17 21:03:04 +0200 |
|---|---|---|
| committer | kobewi <kobewi4e@gmail.com> | 2022-09-17 21:03:04 +0200 |
| commit | 6cec00b0994ad16160f4909189965933c0e1b51f (patch) | |
| tree | a0cc5616c81006afd0fcc5a964097d82ba3ef6b5 /editor/doc_tools.h | |
| parent | 57bdddce02370af3d13e6edc583afdc17264147d (diff) | |
Remove unused _clear_undo_history method
Diffstat (limited to 'editor/doc_tools.h')
0 files changed, 0 insertions, 0 deletions