diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000000000000000000000000000000000000..c14484f01c6707711f326763207045bbfced62e0 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule ".vcsetup"] + path = .vcsetup + url = https://github.com/dune-community/vcsetup.git diff --git a/.vcsetup b/.vcsetup new file mode 160000 index 0000000000000000000000000000000000000000..35b5b6119ba7026b0f7fac10cd19fd7f59ac4530 --- /dev/null +++ b/.vcsetup @@ -0,0 +1 @@ +Subproject commit 35b5b6119ba7026b0f7fac10cd19fd7f59ac4530