Changeset 2210 for trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServer.java
- Timestamp:
- 11/29/17 13:31:13 (7 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
trunk/autoquest-plugin-html/src/main/java/de/ugoe/cs/autoquest/plugin/html/guimodel/HTMLServer.java
r1876 r2210 42 42 * 43 43 * @param specification the server specification 44 * @param parent the parent of the serve r -->must always be null. Just included as44 * @param parent the parent of the serve, must always be null. Just included as 45 45 * required by the automatic instantiation mechanism 46 46 *
Note: See TracChangeset
for help on using the changeset viewer.