Skip to content

Fix #522: PG does not ignore comments in _CoqProject file. - #879

Closed
Matafou wants to merge 1 commit into
ProofGeneral:masterfrom
Matafou:fix-projectfile-comment
Closed

Fix #522: PG does not ignore comments in _CoqProject file.#879
Matafou wants to merge 1 commit into
ProofGeneral:masterfrom
Matafou:fix-projectfile-comment

Ignore commented lines in rocq/coq project files.

2324e8f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build (27.1)
succeeded Jul 30, 2026 in 41s