Skip to content

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

Open
JasonGross wants to merge 1 commit intoatroyn:mainfrom JasonGross:patch-2
+1-1

Commits