commit | 442bf102fafc2164c7952b78e4fa418cbd6511d9 | [log] [tgz] |
---|---|---|
author | mwienand <matthias.wienand@itemis.de> | Wed Jun 27 10:50:44 2018 +0200 |
committer | mwienand <matthias.wienand@itemis.de> | Wed Jun 27 10:50:44 2018 +0200 |
tree | 213187dff70f3fecb8f8f0c3ca8370534aa6a2de | |
parent | 52316a7207b77816352cc5dbdaa87d68ff9bbcde [diff] |
Add archives for 4.0.0, 4.1.0, 5.0.0, 5.0.1, and 5.0.2.