Skip to content

chore: add .idea/ to .gitignore - #1077

Merged
juliusmarminge merged 1 commit into
pingdotgg:mainfrom
StefanWin:main
Mar 14, 2026
Merged

chore: add .idea/ to .gitignore#1077
juliusmarminge merged 1 commit into
pingdotgg:mainfrom
StefanWin:main

chore: add .idea/ to .gitignore

ca80003
Select commit
Loading
Failed to load commit list.
MacroscopeApp / Macroscope - Correctness Check skipped Mar 14, 2026 in 7s

No code objects were reviewed.

• Merge Base: 46ea594
• Head: ca80003

Details

File Path Comments Posted
.gitignore