Skip to content

fix: use globs instead of ls in make_concepts.sh - #2089

Closed
chessing234 wants to merge 1 commit into
MIT-LCP:mainfrom
chessing234:fix/make-concepts-glob
Closed

fix: use globs instead of ls in make_concepts.sh#2089
chessing234 wants to merge 1 commit into
MIT-LCP:mainfrom
chessing234:fix/make-concepts-glob

Commits

  1. Commits on Jul 19, 2026