Dimitri changes
Remove submodule
Add 'EXAMPLES/' from commit 'fca2d09de4fb6b40c1d4cd0d1cd18bafb2ff911a'

git-subtree-dir: EXAMPLES
git-subtree-mainline: 228cac75d44d0d67fcf6c4e937aac7a75cf7ebb0
git-subtree-split: fca2d09de4fb6b40c1d4cd0d1cd18bafb2ff911a
Add 'DATA/' from commit '089c22968a5de0b8aefaa4deb899413ff59ad0d4'

git-subtree-dir: DATA
git-subtree-mainline: d13f080218cd3a510c6e30e8ecd1dd6881db154a
git-subtree-split: 089c22968a5de0b8aefaa4deb899413ff59ad0d4
Remove submodule
Merge branch 'master' into devel