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 | 525391d59e39afa3769522aacbe5373ca8494308 (patch) | |
| tree | 2dfb7a5277685ce88ef78af83547a1ceae5d2bc7 /devio | |
| parent | 2616f2c0ee4b68116f75f3701f17b530a33e25f2 (diff) | |
(warning): Don't flush all pending problems, just our own.
(no_preen): New function.
(problem, warning, pinode): Use it.
Diffstat (limited to 'devio')
0 files changed, 0 insertions, 0 deletions