Doesn't belong to manual
authorRicardo Mones <ricardo@mones.org>
Mon, 5 May 2014 09:13:13 +0000 (11:13 +0200)
committerRicardo Mones <ricardo@mones.org>
Mon, 5 May 2014 09:13:13 +0000 (11:13 +0200)
commit06bb1399e1ee3982d5ba55e8f70ed6459fec1ee7
treea8719d9fdd95942c236707499a20d32d6b2cdd66
parent87a954a4eb4172fac398382db46577889f748857
Doesn't belong to manual
manual/plugins.xml