Viewing all changes in revision 1105.
- Committer: srba.jiri at gmail
- Date: 2020-09-23 11:37:19 UTC
- mfrom: (1102.3.1 tapaal)
- Revision ID: srba.jiri@gmail.com-20200923113719-0nhtz7iql1efcnn1
merged in lp:~tapaal-contributor/tapaal/verifytapn-not-offered-1896454 that shows verifytapn in the query dialog again for nets with strict intervals
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
