mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 08:06:56 +07:00
We used to create `main.py` in any case, but must do that with checkbox. This code is not elegant due to boilerplate and possible inconsistency (generator might ask for the welcome script and ignore it), but this is the only API for now. GitOrigin-RevId: 5ecf78f017229aa77d9ec296e46fc8bb742ccc0a