diff THANKS @ 887:4066e6f2d134 plugins

PluginsManager
author Sebastien Jodogne <s.jodogne@gmail.com>
date Sat, 14 Jun 2014 19:20:38 +0200
parents e874e1b0b9cf
children 7c84065f9703
line wrap: on
line diff