tree 22eacee3a27404fffb56bb09bad6e5d4c4144b3b
parent c24e47171921c0eb346099cbcf628b3dbf87ba25
parent e92c9dd088158d069accd18eda0416ea3240a964
author GianMaria Romanato <gm.romanato@gmail.com> 1508871525 +0200
committer GianMaria Romanato <gm.romanato@gmail.com> 1508871525 +0200

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