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 /exec/priv.h | |
| 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 'exec/priv.h')
0 files changed, 0 insertions, 0 deletions