| commit | d0b1020bf1f9f0e3824d61cd3821e3ea7773f828 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sun Jan 02 11:53:15 2022 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Tue Mar 29 12:46:24 2022 -0600 |
| tree | f179b275ca3e0d104e84a8009c8a73fcfdd4b53e | |
| parent | 6cb06a8cdaaf30f5d879f24d37100cf1d25c6a3a [diff] |
Rename print_spaces_filtered print_spaces_filtered is now misnamed, because whether filtering happens is up to the stream. So, rename it.