stephen_leake pushed a change to branch externals-release/gpr-mode.
from 823df70936 ; Prefer HTTPS to HTTP in URLs
adds 64f9e89378 Release version 1.0.2
adds 9676e6361e Version 1.0.3; packaging fixes
No new revisions were added by this update.
Summary of changes:
Alire.make | 2 +
NEWS | 5 +
README | 2 +-
build.sh | 4 +-
gpr-mode.el | 6 +-
gpr-mode.texi | 15 +-
gpr_mode_wisi_parse.gpr | 2 +-
gpr_re2c.c | 12866 +++++++++++++++++++++++-----------------------
install.sh | 6 +-
run_gpr_parse.exe | Bin 11834278 -> 0 bytes
10 files changed, 6432 insertions(+), 6476 deletions(-)
delete mode 100644 run_gpr_parse.exe
