Error running this command: diff -U 5 "/tmp/pn5cdk" "/tmp/r13Ppx"
diff -U 5 "/tmp/pn5cdk" "/tmp/r13Ppx"
No output on STDOUT.