logika-prover.sublime-project

{
	"folders":
	[
		{
			"path": "."
		}
	]
}