Changeset 736 for trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java
- Timestamp:
- 08/31/12 15:16:13 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-plugin-jfc/src/main/java/de/ugoe/cs/quest/plugin/jfc/guimodel/JFCGUIElement.java
r714 r736 69 69 * @return the hashCode 70 70 */ 71 intgetElementHash() {71 String getElementHash() { 72 72 return specification.getElementHash(); 73 73 }
Note: See TracChangeset
for help on using the changeset viewer.