diff options
| author | Miles Bader <miles@gnu.org> | 1996-05-02 01:00:58 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1996-05-02 01:00:58 +0000 |
| commit | e2a0654a90138268ac9985b29f25cd32e16aae1a (patch) | |
| tree | 4b495bcdb516d509bc0baa4b920cc463598a9a4c /term/Makefile | |
| parent | 774d7327d94ffe25b65fa1f4a4f48a053b6b518e (diff) | |
(problem, warning, pextend, pfail, force): New declarations.
(pinode): Update declaration.
Diffstat (limited to 'term/Makefile')
0 files changed, 0 insertions, 0 deletions