diff THANKS @ 1632:eb8fbcf008b5

fix build with plugins disabled
author Sebastien Jodogne <s.jodogne@gmail.com>
date Mon, 21 Sep 2015 14:05:06 +0200
parents afaa55d42ddd
children 22e7e2ba99db
line wrap: on
line diff