Restore support for hp800 (removed 2007-01-27) following clarification
authorGlenn Morris <rgm@gnu.org>
Fri, 23 Mar 2007 02:56:27 +0000 (02:56 +0000)
committerGlenn Morris <rgm@gnu.org>
Fri, 23 Mar 2007 02:56:27 +0000 (02:56 +0000)
commitd347c8e1aac521b00636961326a28bf58b9e8ce7
treeddb098574ec4ef06190c8f0013efd2f5b16f6997
parentf8f771ffbdfff9c756120ae81c3bdd06b205c699
Restore support for hp800 (removed 2007-01-27) following clarification
of legal status.
configure.in