diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-02 01:01:29 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-02 01:01:29 +0000 |
| commit | 6323af30e4c343446c5065a836130b38803f5a26 (patch) | |
| tree | 35b45830cd3d167aa242fcdb390f2ef65f4d34de /libpager/Makefile | |
| parent | e2a0654a90138268ac9985b29f25cd32e16aae1a (diff) | |
(problem, warning, pextend, pfail): New functions.
(pinode, pfix, reply): Use new problem recording stuff.
(push_problem, resolve_problem, flush_problems): New functions.
(struct problem): New type.
(problems, free_problems): New variables.
(retch, punt): New functions.
Diffstat (limited to 'libpager/Makefile')
0 files changed, 0 insertions, 0 deletions