c9/docs.c9.io — pull request #65 by fjakobs (2014-08-06 08:18:12+00:00)
Title: cleanup main menu

@ivarpruijn