Changes

#19 (Oct 15, 2020, 8:48:12 AM)

1. [releng] Update TP (#27) — noreply / githubweb

#18 (Oct 7, 2020, 9:38:11 AM)

1. [releng] improve nightly publication (#26) — noreply / githubweb

#16 (Sep 16, 2020, 4:44:06 AM)

1. [releng] do not archive artefact into jenkins (#22) — noreply / githubweb

#14 (Sep 1, 2020, 9:04:06 AM)

1. Update splash screen and about section 1.4 (#17) — noreply / githubweb

#13 (Jul 2, 2020, 3:58:04 AM)

1. [releng] Remove useless feature (#12) — noreply / githubweb

#12 (Jul 1, 2020, 11:38:04 AM)

1. V1.4.1.it5 (#11) — noreply / githubweb