ros-infrastructure/rosdep — pull request #301 by NikolausDemmel (2014-02-19 14:33:46+00:00)
Title: Added the --ignore-deps option to specify ignored rosdep keys from the command line.

Implements https://github.com/ros-infrastructure/rosdep/issues/300