diff options
author | jao <jao@gnu.org> | 2022-03-06 19:18:54 +0000 |
---|---|---|
committer | jao <jao@gnu.org> | 2022-03-06 19:18:54 +0000 |
commit | f9a40fe67e15ad2ec984687a8e99844707f736e5 (patch) | |
tree | 19fa70ac83747a42039ad44c963cd102fe55d9f8 /doc/thanks.texi | |
parent | e9f89952ee7466d030319c5b26eb9ce505516b1f (diff) | |
download | geiser-f9a40fe67e15ad2ec984687a8e99844707f736e5.tar.gz geiser-f9a40fe67e15ad2ec984687a8e99844707f736e5.tar.bz2 |
Harmonizing buffer names
So that now all start with *Geiser (and a space for hidden ones) and
use consistent capitalization (see issue #38).
Diffstat (limited to 'doc/thanks.texi')
0 files changed, 0 insertions, 0 deletions