Merge branch 'tweaks' into devel
authorBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Mon, 12 Aug 2013 18:48:04 +0000 (20:48 +0200)
committerBarak A. Pearlmutter <barak+git@cs.nuim.ie>
Mon, 12 Aug 2013 18:48:04 +0000 (20:48 +0200)
commitd34cbd8455c69b4a3e97c97fc664d00a3634370c
tree807a019edca0ab8729c0163d719c5e9c433c1d6f
parent5caee5bc871925f2b94bed3fc4e0b9b075774e0f
parent9ea55c2994a7bffd0eed419b3f2ff6190a6c1fb0
Merge branch 'tweaks' into devel