tree 74a21e0f1828811c6516018905aa232f647f87dd
parent bd31cbaebfb09c7305fae7c0a90da3d345d719f4
author Pavel Punegov <pavel.punegov@jetbrains.com> 1643893418 +0300
committer Pavel Punegov <pavel.punegov@jetbrains.com> 1643893418 +0300

Don't delete tmp source files on exit