- Committer: Jiri Srba
- Date: 2020-09-24 18:43:26 UTC
- mfrom: (1102.4.2 intervals-on-outgoing-arcs-1896451)
- Revision ID: srba@cs.aau.dk-20200924184326-ttm0colg2czpilyc
merged in lp:~tapaal-contributor/tapaal/intervals-on-outgoing-arcs-1896451 fixing problem with time intervals being shown when editing output arcs
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 ..
|
|||||||