codalab/codalab — pull request #240 by willum070 (2013-10-15 16:43:07+00:00)
Title: minor fix for nav.

Added

.