stephen_leake pushed a change to branch externals-release/gpr-mode.
from 1932e3a42c Add files to gpr-mode
adds 1030be428b * build.sh, install.sh: Set executable bit
adds 781e7993cc * install.sh: Just copy executable; clean up
adds 24e67684df Fix header comment style
adds 924bad9645 Fix header comment style again, improve install.sh
adds 69de22ba68 Resolve conflicts, finish merge
adds eb53a24c6d ; Fix typo
adds 823df70936 ; Prefer HTTPS to HTTP in URLs
No new revisions were added by this update.
Summary of changes:
build.sh | 0
doclicense.texi | 4 ++--
gpr-indent-user-options.el | 6 +++---
gpr-mode.el | 4 ++--
gpr-mode.texi | 2 +-
gpr-process.el | 2 +-
gpr-skel.el | 6 +++---
gpr.wy | 2 +-
gpr_process_actions.adb | 2 +-
gpr_process_actions.ads | 2 +-
gpr_process_main.adb | 2 +-
gpr_process_main.ads | 2 +-
gpr_re2c.c | 2 +-
gpr_re2c_c.ads | 2 +-
install.sh | 35 +++++++++++++++--------------------
prj-eglot.el | 40 ----------------------------------------
16 files changed, 34 insertions(+), 79 deletions(-)
mode change 100644 => 100755 build.sh
mode change 100644 => 100755 install.sh
delete mode 100644 prj-eglot.el
