diff options
| author | Michael I. Bushnell <mib@gnu.org> | 1995-08-02 14:00:17 +0000 |
|---|---|---|
| committer | Michael I. Bushnell <mib@gnu.org> | 1995-08-02 14:00:17 +0000 |
| commit | 724503d124c3f0ae3b1475f0c48d54513a87b745 (patch) | |
| tree | 5dadc288a1ce2ea779db89c0e498358a65ad0421 | |
| parent | fb2af895e2db1415f90946875791a1f16d2be9dc (diff) | |
Initial revision
| -rw-r--r-- | pfinet/linux/time.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pfinet/linux/time.h b/pfinet/linux/time.h new file mode 100644 index 00000000..18a03a58 --- /dev/null +++ b/pfinet/linux/time.h @@ -0,0 +1 @@ +#include <sys/time.h> |