Merge branch 'develop' into 'develop'
authorDaniel Kochmański <dkochmanski@turtle-solutions.eu>
Mon, 7 Sep 2015 14:42:13 +0000 (14:42 +0000)
committerDaniel Kochmański <dkochmanski@turtle-solutions.eu>
Mon, 7 Sep 2015 14:42:13 +0000 (14:42 +0000)
commit044531c9085fa929a0198396ffcfac7d10cb12fa
treeb5fd3f27fdb6b216d34d99bfcd219faaaac955fd
parentdfb0f28ca278a8fa63ab8601e95f18cb356cd795
parent2b8bfc282543b1a460d5f358e80d5f760d3b1d2d
Merge branch 'develop' into 'develop'

cosmetic: fix a minor typo

See merge request !10