deindex content when you delete it.
[mir.git] / source / mircoders / search / SearchTerm.java
2002-11-27 johnthese actually work now
2002-11-26 johnmaking search more comprehensible by associating