diff options
| author | jao <jao@gnu.org> | 2022-10-15 20:25:29 +0100 |
|---|---|---|
| committer | jao <jao@gnu.org> | 2022-10-15 20:25:29 +0100 |
| commit | e320b982c43edffed2520ba5bfbbb5b4832aad52 (patch) | |
| tree | bba75bda865a68803687c9a5edc31133c4e55ed3 /doc/thanks.texi | |
| parent | b64ee5b8a984e06aae29b8a92362a6db03cfed3b (diff) | |
| download | geiser-e320b982c43edffed2520ba5bfbbb5b4832aad52.tar.gz geiser-e320b982c43edffed2520ba5bfbbb5b4832aad52.tar.bz2 | |
little fix: duplicated first symbol in autodoc requests
i think we've been sending twice the symbol at point in ge:autodoc's list of
paths since the beginning of time; not that it'll make a noticeable
difference, but let's not.
Diffstat (limited to 'doc/thanks.texi')
0 files changed, 0 insertions, 0 deletions