~tapaal-contributor/tapaal/bug-948502-discrete-incl-wrong-answer

Viewing all changes in revision 675.1.1.

  • Committer: Jiri Srba
  • Date: 2012-03-02 13:39:05 UTC
  • mto: This revision was merged to the branch mainline in revision 676.
  • Revision ID: srba@cs.aau.dk-20120302133905-n2cqfzy8ljuyexe3
Fixes bug #944740 where the increase in size of drawing surface 
introduced some other problems. 

expand all expand all

Show diffs side-by-side

added added

removed removed

Lines of Context: