Closed pcomble closed 11 months ago
Hi ! I think you can add .idea into profile/.gitignore file.
I think that was accidentally left around from before the profile crate joined the workspace. I've simply removed it as it's unused, and .idea is ignored at the workspace level.
Thanks for the report.
Hi ! I think you can add .idea into profile/.gitignore file.