Update mapping config#902

davidscn wants to merge 2 commits into

masterprecice/precice.github.io:masterfrom

davidscn-patch-2precice/precice.github.io:davidscn-patch-2Copy head branch name to clipboard