Fix obsolete comment regarding FSM truncation.
[PostgreSQL.git] / src / tools / make_diff / 
treed61b6fef380da3ba149827b25052bec6c11bc6e7
drwxr-xr-x   ..
-rw-r--r-- 982 README
-rwxr-xr-x 136 cporig
-rwxr-xr-x 230 difforig
-rwxr-xr-x 121 rmorig