aboutsummaryrefslogtreecommitdiff
path: root/src/tools/make_diff
Commit message (Collapse)AuthorAge
* Remove make_diff set of toolsMagnus Hagander2021-01-24
| | | | | | | These are mostly obsoleted by the switch to git, and it's easier to remove them than to update the incorrect documentation. Discussion: https://postgr.es/m/CABUevEwmASMn4WRJ6RagBx43sj10ctfMHcMA_-7KA3pDYmwpJw@mail.gmail.com
* Remove useless whitespace at end of linesPeter Eisentraut2010-11-23
|
* Remove cvs keywords from all files.Magnus Hagander2010-09-20
|
* Remove extra newlines at end and beginning of files, add missing newlinesPeter Eisentraut2010-08-19
| | | | at end of files.
* More README src cleanups.Bruce Momjian2008-03-21
|
* Add CVS tag lines to files that were lacking them.Bruce Momjian2006-03-11
|
* Update email addresses.Bruce Momjian2001-03-05
|
* Reorganize developers files.Bruce Momjian1997-09-08