Changes

#46 (Oct 26, 2018, 9:27:15 AM)

1. Update versions to 0.7.2 — Antonio Campesino / detail

#42 (Oct 15, 2018, 8:54:17 AM)

1. Update platforms files and Tycho version — Antonio Campesino / detail

#39 (Jun 21, 2018, 9:05:13 AM)

1. Set current version to 0.7.1 — Anne Haugommard / detail