Skip to content
Snippets Groups Projects
Commit 46875ae9 authored by Mouhcine's avatar Mouhcine
Browse files

add ssr_Coquelicot in _Coqproject

parent 884a73e2
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
FEM/_CoqProject
+ 1
− 1
View file @ 46875ae9
......@@ -12,4 +12,4 @@ choiceType_from_Epsilon.v
Rstruct.v
finite_element.v
poly_Mathcomp.v
Facts.v
ssr_Coquelicot.v
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment