Do not show the tip if cursor is in the minibuffer
Merge branch 'master' of https://github.com/bbatsov/prelude
Add session* to .gitignore
Merge pull request #321 from toctan/master

Do not show the tip if the cursor is in the minibuffer window
Chang font
Merge remote-tracking branch 'origin/master' into dev
Clean gitignore