diff options
| author | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-08-22 19:52:17 +0200 |
|---|---|---|
| committer | Pedro J. Estébanez <pedrojrulez@gmail.com> | 2017-08-22 19:52:17 +0200 |
| commit | c2a1f3b8146f939c837b8997b7f6673fac7508d8 (patch) | |
| tree | fcf154c942a3e384593026a557e0269deac94088 /editor/doc_font.h | |
| parent | 294e912a843cde241f9abf619f5d40df9ef6ef9f (diff) | |
Add ability to undo auto-indent
Closes #10420.
Diffstat (limited to 'editor/doc_font.h')
0 files changed, 0 insertions, 0 deletions