Changeset 5534
- Timestamp:
- 07/09/08 16:48:18 (3 months ago)
- Files:
-
- 1 modified
Legend:
- Unmodified
- Added
- Removed
-
branches/ProtocolEditor/src/search/IndexTermFinder.java
r5533 r5534 69 69 Date start = new Date(); 70 70 71 71 searchString = searchString.toLowerCase(); 72 72 73 73 String searchField = "contents";
