[added note about chmod'ing pp/logpp stefanh@cse.unsw.edu.au**20050525060205] { hunk ./README 21 + chmod 755 pp/logpp (sorry, but darcs does not preserve permissions) + }