Merge branch 'tweaks'
authorBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Mon, 12 Aug 2013 16:37:33 +0000 (18:37 +0200)
committerBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Mon, 12 Aug 2013 16:37:33 +0000 (18:37 +0200)
commit82be2e4b5cd24eaa0230ba56ecf31f511a567efc
treee35e0529e5388077d026b701db3eeb09fc30c834
parent599aff99e99c41de9f81eb90ce3d7bd77e94cef8
parent9ea55c2994a7bffd0eed419b3f2ff6190a6c1fb0
Merge branch 'tweaks'