I have finished pgindent. We also had many old comments of the format:
/* ------ * comment * ------ */
These are now the more concise:
/* * comment */
Also, comments with dashes are not wrapped nicely by pgindent. Some
comments need dashes to preserver layout, but many did not need them. I
ran pgindent to re-wrap those.
-- Bruce Momjian | http://candle.pha.pa.us pgman@candle.pha.pa.us | (610)
853-3000+ If your life is a hard drive, | 830 Blythe Avenue + Christ can be your backup. | Drexel Hill,
Pennsylvania19026