diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..f1a4b07 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "stubs/protevus"] + path = stubs/protevus + url = https://github.com/protevus/protevus diff --git a/stubs/protevus b/stubs/protevus new file mode 160000 index 0000000..ae86202 --- /dev/null +++ b/stubs/protevus @@ -0,0 +1 @@ +Subproject commit ae862027780cdd53ab7154d2b7954311555382cb