"Thomas Gebhardt" <gebhardt@HRZ.Uni-Marburg.DE>
862297385
glimpseindex dumps core when it gets an empty man page
<199704290650.IAA13927@pcrz64.HRZ.Uni-Marburg.DE>
glimpse

Marco Budde <Budde@tu-harburg.de>