(ids-modules-to-compile): Add `ids-read'; delete `iddef'.
authortomo <tomo>
Tue, 28 May 2002 10:47:49 +0000 (10:47 +0000)
committertomo <tomo>
Tue, 28 May 2002 10:47:49 +0000 (10:47 +0000)
commitde6385acd4e4b9293760b30ac2ab761390913e13
treef6c8405e2e96a6a1152556115e72e3103a9b5195
parentf9cab9bff3e64d8f851bc9a6806124fa7a42e18d
(ids-modules-to-compile): Add `ids-read'; delete `iddef'.
IDS-ELS