changeset 41 | d61cda45c461 |
parent 38 | 41d968c5518c |
child 42 | 01ad8f1b986b |
--- a/patches Thu Nov 02 21:32:21 1995 +0100 +++ b/patches Fri Nov 03 17:34:13 1995 +0100 @@ -311,7 +311,7 @@ PersistencyManager BinaryIOManager BinaryInputManager BinaryOutputManager DBFile BinaryObjectStorage - RDoItServer + RDoItServer SNMPOID SNMPSession HandlerCollection Plug Random MessageSend MessageChannel