raehik/mybash — pull request #3 by raehik (2013-10-10 17:56:41+00:00)
Title: Merge dev into master

The dev branch is now, I'm quite sure, sufficiently neat and working enough to merge into the master branch.