Jeremiah Orians eb4ae60ee3 Revise test13 to work %!s(int64=4) %!d(string=hai) anos
..
.gitignore efbd4f616f Add minimal PPC64LE test for M1+hex2 %!s(int64=4) %!d(string=hai) anos
cleanup.sh efbd4f616f Add minimal PPC64LE test for M1+hex2 %!s(int64=4) %!d(string=hai) anos
hello.M1 efbd4f616f Add minimal PPC64LE test for M1+hex2 %!s(int64=4) %!d(string=hai) anos
hello.sh eb4ae60ee3 Revise test13 to work %!s(int64=4) %!d(string=hai) anos
proof.answer eb4ae60ee3 Revise test13 to work %!s(int64=4) %!d(string=hai) anos