Changeset 16042
- Timestamp:
- 2008-06-18 11:17:22 (2 months ago)
- Files:
Legend:
- Unmodified
- Added
- Removed
- Modified
- Copied
- Moved
gli/trunk/src/org/greenstone/gatherer/cdm/CollectionConfiguration.java
r16023 r16042 3910 3910 String new_name = (String)plugin_map.get(plugin); 3911 3911 if (new_name != null) return new_name; 3912 new_name = plugin.replace ("Plug", "Plugin");3912 new_name = plugin.replaceAll("Plug", "Plugin"); 3913 3913 return new_name; 3914 3914 }
