Re: [pmd-devel] dead link

[Andreas D. <and...@ad...>]

Thanks! This is fixed now.


Am 09.01.2018 um 21:18 schrieb Mark Abene:
> This is a dead link:
>
> https://pmd.github.io/latest/usage/integrations.html#Eclipse
>
> It appears at the bottom of https://pmd.github.io/ in the "Plugins"
> section.
> You may want to update your page.
>
> Regards,
> Mark
>
>
>
> ------------------------------------------------------------------------------
> Check out the vibrant tech community on one of the world's most
> engaging tech sites, Slashdot.org! http://sdm.link/slashdot
>
>
> _______________________________________________
> Pmd-devel mailing list
> Pmd...@li...
> https://lists.sourceforge.net/lists/listinfo/pmd-devel