Update with Miles's advice on how to commit.
authorGlenn Morris <rgm@gnu.org>
Sat, 16 Jan 2010 20:24:08 +0000 (12:24 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 16 Jan 2010 20:24:08 +0000 (12:24 -0800)
commit4572d05251f0b1eeca32a11b6315188623ad8341
tree0d7cbb39676e7ad3452903290d3afa1f447744cd
parent617364feb7163852e7c86323983d58d645063760
Update with Miles's advice on how to commit.
admin/notes/commits