Sync up with main trunc. unlabeled-1.5.2
authorakr <akr>
Thu, 23 Apr 1998 16:59:45 +0000 (16:59 +0000)
committerakr <akr>
Thu, 23 Apr 1998 16:59:45 +0000 (16:59 +0000)
commitff1cdc1926fed877d2fbd961a1d1218ac15803c7
tree9c5652f1c742a2998fe40d14a2dfbbc2c48973a9
parent55728b3dbf72868eae5399adb21520e74972f2e1
Sync up with main trunc.
README.semi