Changeset 1028 for trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/HandlerDestroy.java
- Timestamp:
- 01/02/13 10:10:40 (12 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-mfc/src/main/java/de/ugoe/cs/autoquest/plugin/mfc/HandlerDestroy.java
r1008 r1028 36 36 * the tree of GUI element specifications to be created and adapted during parsing 37 37 */ 38 public HandlerDestroy(GUIElementTree guiElementTree) {38 public HandlerDestroy(GUIElementTree<Long> guiElementTree) { 39 39 super(guiElementTree); 40 40 }
Note: See TracChangeset
for help on using the changeset viewer.