# HG changeset patch # User HackBot # Date 1376058589 0 # Node ID 5fa45b01f3718971ac312b6d76c341f5251f0221 # Parent 5eef5c8ac5ca0de71188c1f240f512b5bb0f374f chmod +x bin/gccrun diff -r 5eef5c8ac5ca -r 5fa45b01f371 bin/gccrun