diff INSTALL @ 84722:06bcf3703b28

Remove obsolete file.
author Glenn Morris <rgm@gnu.org>
date Fri, 21 Sep 2007 03:43:23 +0000
parents b98604865ea0
children 107ccd98fa12
line wrap: on
line diff