[PATCH stable] document 'default' and 'default-push' in paths docstring

[Faheem Mitha]

On Fri, 16 Apr 2010, Martin Geisler wrote:

> Faheem Mitha <faheem at email.unc.edu> writes:
>
>> # HG changeset patch
>> # User Faheem Mitha <faheem at email.unc.edu>
>> # Date 1271226593 -19800
>> # Branch stable
>> # Node ID 85aaed3ec02ebbf7d5ed302cf2901fef3b42a4d5
>> # Parent  2d61b612a09df0263ca00ad08cbf35779d7d5eee
>> Document 'default' and 'default-push' in paths docstring
>
> Thanks, I've pushed the patch to crew-stable (e3396b218e10).

Eep. I had a revision of this. Just been too lazy to post it.

                                              Regards, Faheem.