Put ./BUGS into the distrib.
authorRichard M. Stallman <rms@gnu.org>
Tue, 14 Jun 1994 14:51:19 +0000 (14:51 +0000)
committerRichard M. Stallman <rms@gnu.org>
Tue, 14 Jun 1994 14:51:19 +0000 (14:51 +0000)
commit525336b7f9ab6c3a2f80d19b7e90fc9fe9f732df
treea41aa0f830113e30e2e14c09a3d69ca3e72ac14c
parent81d93b5e634be0eaa5610eed035fcabfe1e05c40
Put ./BUGS into the distrib.
make-dist