diff make-dist @ 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 69151e6e8613
children 4b9e26bc6f59 ec58e5c426ef
line wrap: on
line diff