Some investigation is needed to distinct the necessary files. As for now, we just `.gitignore` the folder by 308acca86
Some investigation is needed to distinct the necessary files. As for now, we just
.gitignorethe folder by 308acca