Skip to content

Write configuration to IPR file as well as .idea to avoid errors in legacy projects#810

Merged
bulldozer-bot[bot] merged 2 commits intodevelopfrom jw/ipr-supportNov 11, 2022

Commits

Commits on Nov 11, 2022