From 6e5753e11d426b80f76d88205ed226f2656346d0 Mon Sep 17 00:00:00 2001 From: markm Date: Thu, 3 May 2001 11:49:44 +0000 Subject: Depollute headers now that the VM headers DTRT. --- bin/ps/keyword.c | 1 - bin/ps/print.c | 1 - bin/ps/ps.c | 1 - 3 files changed, 3 deletions(-) diff --git a/bin/ps/keyword.c b/bin/ps/keyword.c index 1749c28..a3d0066 100644 --- a/bin/ps/keyword.c +++ b/bin/ps/keyword.c @@ -42,7 +42,6 @@ static const char rcsid[] = #include #include -#include #include #include #include diff --git a/bin/ps/print.c b/bin/ps/print.c index 8762700..f73c3f0 100644 --- a/bin/ps/print.c +++ b/bin/ps/print.c @@ -40,7 +40,6 @@ static const char rcsid[] = #endif /* not lint */ #include -#include #include #include #include diff --git a/bin/ps/ps.c b/bin/ps/ps.c index 7613a57..628ca37 100644 --- a/bin/ps/ps.c +++ b/bin/ps/ps.c @@ -46,7 +46,6 @@ static const char rcsid[] = #endif /* not lint */ #include -#include #include #include #include -- cgit v1.1