diff options
| author | Peter Eisentraut | 2014-10-21 14:43:09 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2014-10-21 14:43:09 +0000 |
| commit | f43afbca701113fb6538e38e1f95666fb1910e2f (patch) | |
| tree | 9c0d88cef82e140268313808375f764c597750cd /src/tools/git-external-diff | |
| parent | f048e50037b1aa5cda857ce5f6cc17a1ea410987 (diff) | |
doc: Update Red Hat documentation tools information
The old text was written in ancient times when RPM packages could be
shared more or less freely across a plethora of RPM-based Linux
distributions. This isn't really the case anymore, so just make this
information more concrete for the Red Hat family.
Diffstat (limited to 'src/tools/git-external-diff')
0 files changed, 0 insertions, 0 deletions