tree 453f0bf70f0437a5b281c43b800cb2b4a320efcf
parent 29ae875dd7a117944db8b69848ce46f5c69e856a
author Philip.Hazel <Philip.Hazel@gmail.com> 1413388669 +0000
committer Philip.Hazel <Philip.Hazel@gmail.com> 1413388669 +0000

Fix several bugs concerned with different configurations.