separate generated sources

This commit is contained in:
2022-05-21 12:27:13 +02:00
parent 966d1616c5
commit 0c542d42aa
13 changed files with 30 additions and 4683 deletions

2
src-gen/.gitignore vendored Normal file
View File

@ -0,0 +1,2 @@
/iss
/vm