diff man/killing.texi @ 80497:c6bdc935d2d0

Remove hpux10.20 from the desupported list.
author Dan Nicolaescu <dann@ics.uci.edu>
date Fri, 11 Apr 2008 03:19:07 +0000
parents 02b9a9aa5b0c
children 00ddc30efcfa
line wrap: on
line diff