Skip to content

Fix parsing of beginning-of-line Coq comments#2

Open
JasonGross wants to merge 1 commit into
atroyn:mainfrom
JasonGross:patch-2
Open

Fix parsing of beginning-of-line Coq comments#2
JasonGross wants to merge 1 commit into
atroyn:mainfrom
JasonGross:patch-2

Fix parsing of beginning-of-line Coq comments

496903a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs