Skip to content
Commit 3844c282 authored by Patrik Knižka's avatar Patrik Knižka
Browse files

Merge branch 'gui-010' into 'devel' 

Gui 010

See merge request !29
parents a68d2bb0 37b5d78a