| commit | 03e1d3e882ef051bf0acbb645c14c848847218b0 | |
| author | Pieter de Bie <pdebie@ai.rug.nl> | |
| Sat, 12 Sep 2009 23:59:48 +0000 (13 01:59 +0200) | ||
| committer | Pieter de Bie <pdebie@ai.rug.nl> | |
| Sun, 13 Sep 2009 14:55:38 +0000 (13 16:55 +0200) | ||
| tree | 108b5783dc786676eaa4c600ff4cee74d6864f44 | treesnapshot (tar.gz zip) |
| parent | 6531cfce3bc6b4bd55607304169809e2c3defcc8 | commitdiff |
WIP: Add GUI support for the new index