ignore build files
	modified:   .gitignore
Merge branch 'master' of github.com:/themastermind/dauny