diff options
| author | Peter Eisentraut | 2015-10-03 01:22:44 +0000 |
|---|---|---|
| committer | Peter Eisentraut | 2015-10-03 01:22:44 +0000 |
| commit | eff091cc19118c1be7f692c969ca3ebb6994552a (patch) | |
| tree | 4c1810afe43ce143280a2e582d7cd5ea12c4f3a7 /contrib | |
| parent | 241e6844ad7643783e9b4bc020d2abe6a9cbfed2 (diff) | |
doc: Make some index terms and terminology more consistent
Diffstat (limited to 'contrib')
0 files changed, 0 insertions, 0 deletions