diff man/killing.texi @ 78158:8dcc6f809d32

Add more info about the vc-registered function.
author Dan Nicolaescu <dann@ics.uci.edu>
date Tue, 17 Jul 2007 04:48:56 +0000
parents 4805684e0b00
children 02b9a9aa5b0c e6fdae9180d4
line wrap: on
line diff