lucene-dev mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From Robert Muir <rcm...@gmail.com>
Subject Re: documentation-lint warning
Date Fri, 17 May 2013 14:52:10 GMT
Thanks Adrien and Mike!

On Fri, May 17, 2013 at 6:49 AM, Michael McCandless
<lucene@mikemccandless.com> wrote:
> On Fri, May 17, 2013 at 1:39 AM, Adrien Grand <jpountz@gmail.com> wrote:
>
>> +1 to fail hard on duplicate anchor names.
>
> I just committed that.
>
> Mike McCandless
>
> http://blog.mikemccandless.com
>
> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscribe@lucene.apache.org
> For additional commands, e-mail: dev-help@lucene.apache.org
>

---------------------------------------------------------------------
To unsubscribe, e-mail: dev-unsubscribe@lucene.apache.org
For additional commands, e-mail: dev-help@lucene.apache.org


Mime
View raw message