Skip to content

define proofType in project file, del hardcoding projectID judge#802

Merged
huangzhiran merged 2 commits intodevelopfrom change-35Jan 7, 2025