[codex] grind_pattern のワイルドカード例を追加#2348

Seasawher wants to merge 1 commit into

mainlean-ja/lean-by-example:mainfrom

codex-grind-pattern-wildcardlean-ja/lean-by-example:codex-grind-pattern-wildcardCopy head branch name to clipboard