--rw-r--r-- M 53 bootes sys 1057 Nov 24 1997 mergeps.lex --rw-r--r-- M 53 fgb sys 1486 Nov 24 1997 mergeps.txt d-rwxr-xr-x M 53 fgb sys 0 Jul 15 2018 mfix --rw-r--r-- M 53 bootes sys 1593 Mar 22 1996 mp --rw-r--r-- M 53 fgb sys 432 Mar 22 1996 psprint Go to parent directory