diff make-dist @ 98523:2bd72d98abe8

Mention cloning.
author Glenn Morris <rgm@gnu.org>
date Sat, 04 Oct 2008 20:38:22 +0000
parents 9419b837e9c6
children 38e7317321ea
line wrap: on
line diff