--- layout: fc_discuss_archives title: Message 64 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New plugin werror + list of external plugins in the wiki



On Wed, 2012-02-15 at 14:27 +0100, sylvain nahas wrote:
> 2. The wiki main page was also expended with a chapter "External
> plugins" to references plugins not distributed with Frama-C.
> See here: http://bts.frama-c.com/dokuwiki/doku.php?id=mantis:frama-c:start

I suggest also to add a link on http://frama-c.com/plugins.html to the
external plugins section of the wiki and to create a toplevel entry
"External plugins" in the wiki so that there's an url for this section. 
-- 
Best regards,
Boris