Merge branch 'Plasma/5.13'

Authored by mart on May 28 2018, 9:01 AM.

Description

Merge branch 'Plasma/5.13'

Details

Committed
martMay 28 2018, 9:01 AM
Parents
R119:509efb482ecf: more spacing
R119:6229570c3da2: add workspaceoptions docbook
Branches
Unknown
Tags
Unknown

Merged Changes

CommitAuthorDetailsCommitted
509efb482ecfmart
more spacing 
May 28 2018