diff options
| author | Hendrik Tews | 2021-01-31 22:36:45 +0100 |
|---|---|---|
| committer | hendriktews | 2021-02-13 20:07:35 +0100 |
| commit | 740a5c7544a68ba5d5d569fb591e38452f3105e8 (patch) | |
| tree | ffacf649ac4c07c1fd563f9e798054f05dac4eae /generic/proof-menu.el | |
| parent | 7e7af1294128bbccb98f6c44c77b7ab3ea863a42 (diff) | |
update magical documentation in manual for vok feature
Diffstat (limited to 'generic/proof-menu.el')
0 files changed, 0 insertions, 0 deletions