diff make-dist @ 106995:001a0729d255

Add a quick-start guide. Add details of what happens when a bug is closed.
author Glenn Morris <rgm@gnu.org>
date Tue, 26 Jan 2010 20:12:26 -0800
parents 1d1d5d9bd884
children 2fb32340c261 43a1fb0eb2d8
line wrap: on
line diff