On 10.11.18 11:25, Niccolò Granieri wrote:
If that's not how we want to proceed anymore I can include a render for each language in the GitHub, maybe under releases,
+1 adding generated files to the *repository* itself is a bad idea in general.
gfmadsr IOhannes