diff -r 0d84d95790d9 -r 16c8ceea8f18 drivers/led_stdout/led_stdout.c
--- a/drivers/led_stdout/led_stdout.c	Tue Feb 13 17:21:19 2007 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,18 +0,0 @@
-/***************************************************************************/
-#include <data.h>
-#include <led.h>
-
-void led_set_redgreen(CO_Data *d, unsigned char state)
-{
-        if (state & 0x01)
-                printf("\e[41m ERROR LED ON \e[m          ");
-        else
-                printf("\e[31m error led off \e[m         ");
-
-        if (state & 0x02)
-                printf("\e[34;42m RUN LED ON \e[m\n");
-        else
-                printf("\e[32m run led off \e[m\n");
-}
-
-