-
Troels Henriksen authored
In general, "buffer names" are pretty informally handled everywhere. At least they're no longer all called *scratch*, though.
9333fc87
In general, "buffer names" are pretty informally handled everywhere. At least they're no longer all called *scratch*, though.