Repository navigation

Drop tracked .idea directory - #191

Merged

si618 merged 1 commit into

mainfrom

Oct 18, 2026

Merged

Drop tracked .idea directory#191
si618 merged 1 commit into
mainfrom
drop-idea

Commits on Oct 18, 2026
- Drop tracked .idea directory (already gitignored)
  
  si618
  and
  claude
  committed
  447436c