Changeset 832 for trunk/quest-plugin-mfc/src/main/java/de
- Timestamp:
- 09/20/12 09:42:35 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/quest-plugin-mfc/src/main/java/de/ugoe/cs/quest/plugin/mfc/guimodel/MFCGUIElementSpec.java
r778 r832 310 310 */ 311 311 @Override 312 public boolean equals( IGUIElementSpecother) {312 public boolean equals(Object other) { 313 313 314 314 if (this == other) {
Note: See TracChangeset
for help on using the changeset viewer.