Searched refs:theDocs (Results 1 – 1 of 1) sorted by relevance
120 Vector theDocs = new Vector(); in getWikiDocList() local128 theDocs.add( (String ) ht.get( "Doc" ) ); in getWikiDocList()131 return theDocs.toArray( docs ); in getWikiDocList()
Completed in 6 milliseconds