Changeset 993


Ignore:
Timestamp:
11/15/12 19:43:18 (12 years ago)
Author:
pharms
Message:
  • prevented a null pointer in the case, an already existing subsequence does not have a common GUI element
File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.