diff THANKS @ 973:ab6475e33473 plugins

integration mainline->plugins
author Sebastien Jodogne <s.jodogne@gmail.com>
date Mon, 30 Jun 2014 14:08:51 +0200
parents e874e1b0b9cf
children 7c84065f9703
line wrap: on
line diff