ros-infrastructure/roswiki — pull request #96 by dirk-thomas (2014-02-10 18:56:21+00:00)
Title: add macro and js to query mirror status

@tfoote Please review.