diff options
| author | Bruce Momjian <bruce@momjian.us> | 2011-03-10 18:06:13 -0500 |
|---|---|---|
| committer | Bruce Momjian <bruce@momjian.us> | 2011-03-10 18:06:13 -0500 |
| commit | 9d4625ad0b836538618e324b4ebbc3ba366447a1 (patch) | |
| tree | c6c1316b8e8d31f3d988009fd88965813c076712 /doc/src | |
| parent | 7564654adf07ec26b83c7effc7f54f7183e04519 (diff) | |
Add proper git-external-diff script to src/tools.
Diffstat (limited to 'doc/src')
0 files changed, 0 insertions, 0 deletions