~tapaal-developers/tapaal/1.4

Viewing all changes in revision 340.

  • Committer: Kenneth Yrke Joergensen
  • Date: 2011-01-02 14:55:07 UTC
  • Revision ID: kenneth@yrke.dk-20110102145507-cu8rttj2a8z5jhiw
Changed to use gtkfilechooser in GTK look and feel, instead of default JVM version.

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: