Skip to content
Snippets Groups Projects
Commit 36dd6b5e authored by Rainer Kartmann's avatar Rainer Kartmann
Browse files

Rename module deps/eigen3 to deps/eigen3/3.3.9, add new module deps/eigen3... 

Rename module deps/eigen3 to deps/eigen3/3.3.9, add new module deps/eigen3 redirecting to deps/eigen3.3.9 on bionic, apt/eigen3 else
parent e1ccb434
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
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