Viewing all changes in revision 921.
- Committer: Peter Gjøl Jensen
- Date: 2015-09-16 16:39:49 UTC
- Revision ID: peter.gjoel@gmail.com-20150916163949-ivxwz5j1ojn03max
removed dead options
- files modified:
- src/pipe/gui/widgets/QueryDialog.java
expand all
collapse all
added
removed
