Fix obsolete comment regarding FSM truncation.
[PostgreSQL.git] / src / tools / 
tree9a95f986a47ca4d0a226b3b32cccd5bc0c65b8c3
drwxr-xr-x   ..
-rwxr-xr-x 153 FAQ2txt
-rw-r--r-- 5051 RELEASE_CHANGES
-rwxr-xr-x 1794 add_cvs_markers
drwxr-xr-x - backend
-rwxr-xr-x 278 ccsym
-rwxr-xr-x 223 codelines
-rwxr-xr-x 536 copyright
drwxr-xr-x - editors
drwxr-xr-x - entab
-rwxr-xr-x 481 find_badmacros
-rwxr-xr-x 119 find_gt_lt
-rwxr-xr-x 1204 find_static
-rwxr-xr-x 2030 find_typedef
drwxr-xr-x - findoidjoins
drwxr-xr-x - fsync
-rwxr-xr-x 860 major_release_split
-rwxr-xr-x 543 make_ctags
drwxr-xr-x - make_diff
-rwxr-xr-x 250 make_etags
-rwxr-xr-x 404 make_keywords
-rwxr-xr-x 283 make_mkid
drwxr-xr-x - msvc
-rwxr-xr-x 6598 pgcvslog
drwxr-xr-x - pginclude
drwxr-xr-x - pgindent
-rwxr-xr-x 778 pgtest
-rwxr-xr-x 4098 version_stamp.pl