| commit | d7f080d6b89994cb389214847432a65c1794fb6e | [log] [tgz] |
|---|---|---|
| author | Gary V. Vaughan <gary@gnu.org> | Sun Jun 24 16:48:46 2001 +0000 |
| committer | Gary V. Vaughan <gary@gnu.org> | Sun Jun 24 16:48:46 2001 +0000 |
| tree | 285006905318935e723897cab78944a659b616d0 | |
| parent | 5d219c056aded80300ce06d344afeecead2b6f73 [diff] |
* configure.in: Display a banner to remind users that this is an ex-branch.