diff options
author | Miles Bader <miles@gnu.org> | 1996-05-02 03:18:14 +0000 |
---|---|---|
committer | Miles Bader <miles@gnu.org> | 1996-05-02 03:18:14 +0000 |
commit | b29d960189ef35dc14fa2dc21fefb3462528e260 (patch) | |
tree | beb20a9a03315e412f339823e7f4f1be61d54afa /utils/psout.c | |
parent | bd5550cb655599f2fdbd3c407f5c305dad1424a5 (diff) |
(warning): Don't flush all pending problems, just our own.
(no_preen): New function.
(problem, warning, pinode): Use it.
Diffstat (limited to 'utils/psout.c')
0 files changed, 0 insertions, 0 deletions