changes
Merge branch 'master' of https://github.com/tfeldmann/Sudoku

Conflicts:
	Documentation/Sudoku.synctex.gz