HoTT/book — pull request #329 by vog (2013-06-27 08:33:57+00:00)
Title: Fix file permissions

The files .gitignore and torus-clipped.xcf were
executable by accident.