tree 1477f962b446f4d7258d1f20d566e041853046a9
parent 88a36f315979aa94561768c97e99839ca9b76c5f
parent 3118a9c77e75e2674798876d7a7f614717887658
author GianMaria Romanato <gm.romanato@gmail.com> 1461713029 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1461713029 +0200

Merge branch 'master' of ssh://git.eclipse.org/gitroot/virgo/org.eclipse.virgo.documentation