From: Junio C Hamano <gitster@pobox.com>
Date: Tue, 02 Oct 2007 06:27:26 GMT
Subject: Re: [PATCH] fixed link in documentation of diff-options
Message-ID: <7vtzpam3ox.fsf@gitster.siamese.dyndns.org>
In-Reply-To: <11913056772885-git-send-email-prohaska@zib.de>

Sharp eyes; thanks.