Jeremiah Orians eb4ae60ee3 Revise test13 to work 4 anni fa
..
.gitignore efbd4f616f Add minimal PPC64LE test for M1+hex2 4 anni fa
cleanup.sh efbd4f616f Add minimal PPC64LE test for M1+hex2 4 anni fa
hello.M1 efbd4f616f Add minimal PPC64LE test for M1+hex2 4 anni fa
hello.sh eb4ae60ee3 Revise test13 to work 4 anni fa
proof.answer eb4ae60ee3 Revise test13 to work 4 anni fa