Doug Rabson 92c6ae04da A couple of fixes to device_delete_child() to delete all children of
the device and to free the device which is being deleted (not its
parent - oops).

Submitted by: Nick Hibma <nick.hibma@jrc.it>
1998-11-13 09:39:37 +00:00
..
1998-10-15 17:09:19 +00:00
1998-11-11 12:57:05 +00:00
1998-08-04 09:21:04 +00:00
1998-08-23 10:16:26 +00:00
1998-11-11 12:57:05 +00:00
1998-09-14 19:56:42 +00:00
1998-09-14 19:56:42 +00:00