Merge branch 'tweaks'
authorBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Tue, 13 Aug 2013 10:48:38 +0000 (12:48 +0200)
committerBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Tue, 13 Aug 2013 10:48:38 +0000 (12:48 +0200)
commitb006e17428af3764a0f087c3262c167db4648645
tree5083b661aaa255da5276d97e272fcec5996e6a3a
parent346ca57dab9e26822fe17ee0e6a60ea597c7a815
parent7192e4aa651c425eb1ab324dbf259b51cc919c17
Merge branch 'tweaks'