diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 19:20:14 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1996-05-24 19:20:14 +0000 |
| commit | ea481fb2744511cde85cad0a9d6eb3a20e62b6e9 (patch) | |
| tree | 11cdd24b02c456b4debac00b699e82806a158eab /pfinet/timer-emul.c | |
| parent | 23c0fe099e4abf9d4ccf28882a8646a4c49f5a07 (diff) | |
(installhdrsubdir): Install headers in main include dir.
Diffstat (limited to 'pfinet/timer-emul.c')
0 files changed, 0 insertions, 0 deletions