.gitmodules
a3931872
 [submodule "MulleScion"]
 	path = MulleScion
 	url = https://github.com/mulle-nat/MulleScion.git
         ignore = dirty