[submodule "ppm"]
	path = ppm
	url = git@github.com:pulsar-edit/ppm