K 10 svn:author V 7 n_hibma K 8 svn:date V 27 1999-10-07T21:06:52.000000Z K 7 svn:log V 29 Add make_dev and remove_dev. END