Skip to content

Fix the mention of _CoqProject in RocqIDE CLI message.

019c920
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Stop mentioning _CoqProject as project files in RocqIDE #21908

Fix the mention of _CoqProject in RocqIDE CLI message.
019c920
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Windows
succeeded Apr 9, 2026 in 35m 53s