Viewing all changes in revision 1030.
- Committer: Niels Christensen
- Date: 2019-04-11 09:37:09 UTC
- Revision ID: nchri13@student.aau.dk-20190411093709-kc1f258gg45nk2hm
It is now not possible to remove the star invariant and interval
- files modified:
- src/pipe/gui/widgets/cpn/ColorIntervalAndInvariantEditPanel.java
expand all
collapse all
added
removed
