[submodule "examples"]
	path = examples
	url = git@github.com:ProofFrog/examples.git
