Merge branch 'linda' of https://github.com/LinDA-tools/r2r-designer into linda
Merge branch 'linda' of https://github.com/LinDA-tools/r2r-designer into linda