diff -r 69dad4ec73c2 -r 6693d7e25d5e devices/8139too.c
--- a/devices/8139too.c	Tue Feb 14 14:53:41 2006 +0000
+++ b/devices/8139too.c	Mon Feb 20 08:30:30 2006 +0000
@@ -1,6 +1,6 @@
 /******************************************************************************
  *
- *  drv_8139too.c
+ *  8 1 3 9 t o o . c
  *
  *  EtherCAT-Treiber für RTL8139-kompatible Netzwerkkarten.
  *