ros-infrastructure/rep — pull request #12 by dirk-thomas (2012-12-12 05:25:49+00:00)
Title: add "deprecated" tag to exports in REP 127

Defining an additional export tag which is named "deprecated" in order to warn the user when building against deprecated packages.