Jeremiah Orians 9a2c6b4019 Harmonized License headers and added missing license headers		2018-10-17 19:27:06 -04:00
..
.gitignore	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
cleanup.sh	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
file_read.c	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
hello.sh	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00
proof.answer	Harmonized License headers and added missing license headers	2018-10-17 19:27:06 -04:00