lp:~tapaal-contributor/tapaal/deleting-query-property
Created by
Lena Ernstsen
and last modified
Branch merges
Propose for merging
No branches
dependent on this one.
- Jiri Srba: Approve
-
Diff: 12 lines (+1/-1)1 file modifiedsrc/pipe/gui/widgets/QueryDialog.java (+1/-1)
Branch information
Recent revisions
This branch is empty.
Branch metadata
- Branch format:
- Branch format 7
- Repository format:
- Bazaar repository format 2a (needs bzr 1.16 or later)