[elpa] externals-release/gpr-mode updated (1932e3a42c -> 823df70936)

[Stephen Leake]

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