[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[elpa] externals/gpr-mode updated (924bad9645 -> 69de22ba68)
From: |
Stephen Leake |
Subject: |
[elpa] externals/gpr-mode updated (924bad9645 -> 69de22ba68) |
Date: |
Tue, 6 Dec 2022 18:55:23 -0500 (EST) |
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
- [elpa] externals/gpr-mode updated (924bad9645 -> 69de22ba68),
Stephen Leake <=