stephen_leake pushed a change to branch externals-release/gpr-mode.
from 9676e6361e Version 1.0.3; packaging fixes
adds ed12dc7327 Release version 1.0.4
No new revisions were added by this update.
Summary of changes:
.gitignore | 1 +
NEWS | 5 +
README | 2 +-
build.sh | 6 +-
gpr-mode.el | 4 +-
gpr-process.el | 2 +-
gpr.wy | 6 +-
gpr_process_actions.adb | 2 +-
gpr_process_actions.ads | 2 +-
gpr_process_main.adb | 2 +-
gpr_process_main.ads | 2 +-
gpr_re2c.c | 12868 +++++++++++++++++++++++-----------------------
gpr_re2c_c.ads | 2 +-
13 files changed, 6479 insertions(+), 6425 deletions(-)
create mode 100644 .gitignore
