Skip to content
Snippets Groups Projects
Commit 17d0c00f authored by Ralf Jung's avatar Ralf Jung
Browse files

fix coq_makefile warnings

parent df3dbf7f
No related branches found
No related tags found
No related merge requests found
Pipeline #65791 failed
Stage: build
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 0 deletions
_CoqProject
+ 1
− 0
View file @ 17d0c00f
-Q solutions solutions
-Q exercises exercises
-docroot tutorial-popl21
INSTALLDEFAULTROOT = tutorial-popl20
# Fixing this requires Coq 8.15.
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment