rdiankov/openrave — pull request #291 by ajshort (2014-03-06 15:45:46+00:00)
Title: Allow Configuring Plugins To Build

This creates a new build option for each plugin, allowing it to be disabled.