chopps 2c25edaba5 change device name back

1994-06-04 12:13:49 +00:00

..

iteconfig.8

…

iteconfig.c

…

Makefile

…

pathnames.h

change device name back

1994-06-04 12:13:49 +00:00