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
[EMAIL PROTECTED] | (610) 853-3000
+ If your life is a hard drive, | 830 Blythe Avenue
+ Christ can be your backup. | Drexel Hill, Pennsylvania 19026
---------------------------(end of broadcast)---------------------------
TIP 1: subscribe and unsubscribe commands go to [EMAIL PROTECTED]
