diff options
author | Michael Vogt <michael.vogt@ubuntu.com> | 2005-05-07 15:39:12 +0000 |
---|---|---|
committer | Michael Vogt <michael.vogt@ubuntu.com> | 2005-05-07 15:39:12 +0000 |
commit | 6cb30d01f8e247e85966ba8ad657453d73598527 (patch) | |
tree | 55bf235b93928eec347c9eecf1c1f996eb2eaed2 /doc | |
parent | ac5b205a831168ee76e8760e19eb7d43aa361851 (diff) |
* use "red" now, print meaningfull pdiff names, use IMS for the IndexDiff
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions