| commit | 42fbc6961e043435656f9bfff2ca822086fc1e22 | [log] [tgz] |
|---|---|---|
| author | Jack Jansen <jack.jansen@cwi.nl> | Wed Jul 02 22:08:28 2003 +0000 |
| committer | Jack Jansen <jack.jansen@cwi.nl> | Wed Jul 02 22:08:28 2003 +0000 |
| tree | b8a17a393801b4f26a3e8bdb3715073711be8a43 | |
| parent | eec26f982a6e953eb1d6cc1ca570fb629bdd6ceb [diff] |
Tooltip for tab/space consistency check was the wrong way around. Spotted by Skip.