master
devel
changed target branch from master to devel
Dík! Jen doufám, že na Windows nebudou vadit # ve jménech adresářů :)
#
merged
mentioned in commit 4961dd89