Merge pull request #620 from martinbudden/bf_tidy
commit2e672e7e3fdafc63b133c9a9ee6dc1158a0fe8d0
authorMartin Budden <mjbudden@gmail.com>
Mon, 27 Jun 2016 19:06:13 +0000 (27 20:06 +0100)
committerGitHub <noreply@github.com>
Mon, 27 Jun 2016 19:06:13 +0000 (27 20:06 +0100)
treedeca29049e7969ac30c53fec2d357da4881ba00d
parent2b27016f51c857e6f7d405ca7fb660d91c38a0c2
parenta2d1af04aafa5c23b105aad894deb3e6cc787da4
Merge pull request #620 from martinbudden/bf_tidy

Minor cosmetic tidying