[submodule "doc"] path = doc url = https://git.siccegge.de/frida/doc.git pushUrl = git@git.siccegge.de:frida/doc