stephen_leake pushed a change to branch externals/gpr-mode. from 924bad9645 Fix header comment style again, improve install.sh new 1030be428b * build.sh, install.sh: Set executable bit new 781e7993cc * install.sh: Just copy executable; clean up new 69de22ba68 Resolve conflicts, finish merge
Summary of changes: build.sh | 0 install.sh | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) mode change 100644 => 100755 build.sh mode change 100644 => 100755 install.sh