Merge branch 'master' into dev

Authored by knauss on May 21 2019, 12:34 PM.

Description

Merge branch 'master' into dev

Details

Committed
knaussMay 21 2019, 12:34 PM
Parents
R94:9f454b2d0b35: Merge branch 'master' into dev
R94:67b725e7d327: Add missing search framework
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
67b725e7d327mlaurent
Add missing search framework 
May 19 2019
b5dc82e2f7eamlaurent
Move knsrc files to the new location 
May 19 2019
49499ac58a39mlaurent
GIT_SILENT: time to update version 
May 14 2019
51b2329b4190mlaurent
Add parent to QPushButton 
May 13 2019
f90ccac71b2cmlaurent
Reduce margin 
May 13 2019