- Timestamp:
- 2017-08-09T18:41:29+12:00 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
main/trunk/gli/src/org/greenstone/gatherer/gui/Preferences.java
r31860 r31861 71 71 private JButton ok_button; 72 72 private JCheckBox show_file_size_checkbox; 73 private JCheckBox no_check_certificate_checkbox; // Set no_check_certificate when retrieving Https URLs that have no (valid) certificate73 private JCheckBox no_check_certificate_checkbox; // Set no_check_certificate when retrieving https URLs that have no (valid) certificate 74 74 private JCheckBox use_proxy_checkbox; 75 75 private JCheckBox view_extracted_metadata_checkbox;
Note:
See TracChangeset
for help on using the changeset viewer.