tardis-sn/tardis — pull request #78 by ssim (2014-02-03 13:39:33+00:00)
Title: cosmetic fixes

cosmetic fixed to labels in the gui / documentation