chore: document Serena's *-mirror projects for cross-repo query_project - #366
Closed
jordigilh wants to merge 1 commit into
Closed
chore: document Serena's *-mirror projects for cross-repo query_project#366jordigilh wants to merge 1 commit into
jordigilh wants to merge 1 commit into
