Rename source files which also exist as system headers.

[dss.git] / time.h

diff --git a/time.h b/time.h
deleted file mode 100644 (file)
index f2021e0..0000000
--- a/time.h
+++ /dev/null
@@ -1,9 +0,0 @@
-int tv_diff(const struct timeval *b, const struct timeval *a, struct timeval *diff);
-long unsigned tv2ms(const struct timeval*);
-void d2tv(double, struct timeval*);
-void tv_add(const struct timeval*, const struct timeval *, struct timeval *);
-void tv_scale(const unsigned long, const struct timeval *, struct timeval *);
-void tv_divide(const unsigned long divisor, const struct timeval *tv,
-       struct timeval *result);
-void ms2tv(const long unsigned n, struct timeval *tv);
-int64_t get_current_time(void);