# HG changeset patch
# User wenzelm
# Date 1334411179 -7200
# Node ID 28e15b9a70c1084e87b82ee1f6dc504c7afef813
# Parent  71d5f37ee2bf68070aa8c9170b69588951603a3e
chmod +x;

diff -r 71d5f37ee2bf -r 28e15b9a70c1 Admin/polyml/build