| commit | 10ad687e7d85f3da51b7a562d517fed83a9e6192 | |
| author | Maurizio Monge <maurizio@localhost.localdomain> | |
| Thu, 11 Oct 2007 18:14:37 +0000 (11 20:14 +0200) | ||
| committer | Maurizio Monge <maurizio@localhost.localdomain> | |
| Thu, 11 Oct 2007 18:14:37 +0000 (11 20:14 +0200) | ||
| tree | fbd5ca70f8c97835a5d139d823376d57be9dfc2a | treesnapshot (tar.gz zip) |
| parent | 7ec53add6a6ed6540a07042d0bb6f5f78eb778c5 | commitdiff |
Fixed sideeffects of enabling the gui to visualize the search tree.