diff options
| author | jao <jao@gnu.org> | 2022-10-13 03:00:14 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-10-13 03:00:14 +0100 |
| commit | d0fb87e435e2776c18d67040e0bb0dfb736c6006 (patch) | |
| tree | 3d89d9e65065f22337fc6a107f4d175a4ec89b4c /doc/makefile | |
| parent | 52ae251eb6ec868890a38564e462fdea69a70ee0 (diff) | |
| download | geiser-d0fb87e435e2776c18d67040e0bb0dfb736c6006.tar.gz geiser-d0fb87e435e2776c18d67040e0bb0dfb736c6006.tar.bz2 | |
fixes for the imenu jumping fallback
Diffstat (limited to 'doc/makefile')
0 files changed, 0 insertions, 0 deletions