| commit | bed009b9d8601de825ac848c543ee9853628940d | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tom@tromey.com> | Sun Jan 02 11:55:39 2022 -0700 |
| committer | Tom Tromey <tom@tromey.com> | Tue Mar 29 12:46:25 2022 -0600 |
| tree | cd568f167395a54122b29169a32061538fec982c | |
| parent | 9fbf7f083e21263b0a0e1f76d615adaa4e13cfe5 [diff] |
Rename fprintf_symbol_filtered fprintf_symbol_filtered is misnamed, because whether filtering happens is now up to the stream. This renames it to fprintf_symbol, which isn't a great name (the first "f" doesn't mean much and the second one is truly meaningless here), but "print_symbol" was already taken.