JetBrains/intellij-community — pull request #132 by lehnerj (2013-11-30 14:59:46+00:00)
Title: update tip of the day

Hi,

I went through the 'Tip of the Day' again and corrected a few things.

Best regards

Josef