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/web.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/web.texi')
0 files changed, 0 insertions, 0 deletions