bigeasy/proof — pull request #245 by jgpelletier (2014-10-03 00:52:06+00:00)
Title: Executable

Changed permissions from hexadecimal to octal.