1 files changed, 0 insertions, 7 deletions
diff --git a/pfinet.old/time.d b/pfinet.old/time.d
deleted file mode 100644
index f35d45d2..00000000
--- a/pfinet.old/time.d
+++ /dev/null
@@ -1,7 +0,0 @@
-time.o time_pic.o time_p.o time.d: time.c config.h /usr/include/sys/time.h /usr/include/features.h \
-  /usr/include/sys/cdefs.h /usr/include/bits/wordsize.h \
-  /usr/include/gnu/stubs.h /usr/include/gnu/stubs-32.h \
-  /usr/include/gnu/stubs-pthread.h /usr/include/bits/types.h \
-  /usr/include/bits/typesizes.h /usr/include/time.h \
-  /usr/include/bits/time.h /usr/include/sys/select.h \
-  /usr/include/bits/select.h /usr/include/bits/sigset.h