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

Commits on Jul 19, 2026