[PATCH] diff: document the nobinary option

[Matt Mackall]

On Tue, 2014-09-30 at 16:59 -0400, Jordi Gutiérrez Hermoso wrote:
> # HG changeset patch
> # User Jordi Gutiérrez Hermoso <jordigh at octave.org>
> # Date 1412110747 14400
> #      Tue Sep 30 16:59:07 2014 -0400
> # Node ID accdba3c4b4afbb15252ff7d779de4333b73996b
> # Parent  939ce500c92a3dcc0e10815242361ff70a6fcae9
> diff: document the nobinary option

I put this in stable.

-- 
Mathematics is the supreme nostalgia of our time.