Merge PROP/master

Conflicts:
	.gitignore