tree be1897ef508f2afb5d1418eaea94f3f25e3d6ac1
parent 49fa8644b14580cd440d85f5adb9a476c639985d
author Nicola Ferraro <ni.ferraro@gmail.com> 1575473599 +0100
committer Luca Burgazzoli <lburgazzoli@users.noreply.github.com> 1575561112 +0100

Fix #1047: mark platform as generated and add e2e tests