# HG changeset patch
# User wenzelm
# Date 1246314678 -7200
# Node ID 05c5bb16a887b879444c3ef4f8bc8f7be2c67e2f
# Parent  73a8032ea95bd1d654a4fedb8d0008a1d986deb4
fixed permissions;

diff -r 73a8032ea95b -r 05c5bb16a887 src/Pure/IsaMakefile