01298a3ba1043dafdb601f73609e2c37cc652869 - platform/eclipse.platform.text - Git at Google

commit: 01298a3ba1043dafdb601f73609e2c37cc652869
[log]
author: Dani Megert <dmegert>
Wed Dec 12 14:48:57 2001 +0000
committer: Dani Megert <dmegert>
Wed Dec 12 14:48:57 2001 +0000
tree: bae0b89dfd038e5d63e4a42929604d3328746f77
parent: b841bb15f56f5a78ad9fc5fd034df38322bcfcb6 [diff]

Case sensitive checkbox persistent

org.eclipse.search/search/org/eclipse/search/internal/ui/text/TextSearchPage.java[diff]

1 file changed

tree: bae0b89dfd038e5d63e4a42929604d3328746f77