Skip to content

chore: add generate rule in makefile#2282

Closed
jremy42 wants to merge 1 commit intomainfrom
chore/add_generated_rule_makefile
Closed

chore: add generate rule in makefile#2282
jremy42 wants to merge 1 commit intomainfrom
chore/add_generated_rule_makefile

Commits

Commits on Jul 31, 2025