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..260d16dd08127236befc67ef6545497432386391 --- /dev/null +++ b/.vcsetup @@ -0,0 +1 @@ +Subproject commit 260d16dd08127236befc67ef6545497432386391