stephen_leake pushed a change to branch externals-release/gpr-query. from 57365547c8 Add files to gpr-query adds a9cb407ef8 Misc improve adds 32c123e157 Misc fixes adds 5a62db91fc * prj-eglot.el: Delete adds 542cbf35d6 * ELPA.make (all): Add docs adds 5104f6f836 * prj.el ("gpr-query.prj"): Use elpa package dirs adds 99f50385ee * gpr-query.el (gpr-query-session-wait): Restore busy message adds 3a8e67a795 Delete gpr-query minor mode; fix executable bit adds fd1670eded * install.sh: Just copy alr build binary, clean up adds 6356b18639 * build.sh: Show compiler adds ca70129df3 Finish merge adds 41b736e746 ; Fix typos adds dbbf1ab955 * Alire.make: Match prj.el rename. adds 89e32005c0 ; Prefer HTTPS to HTTP in URLs adds 92ac06f23d Release version 1.0.2 adds da47f81da1 * alire.toml: Fix gnat version
No new revisions were added by this update. Summary of changes: .gitignore | 7 +++++++ Alire.make | 7 ++++--- ELPA.make | 44 ++++++++++---------------------------------- NEWS | 6 ++++++ README | 5 +---- alire.toml | 4 ++-- build.sh | 3 ++- doclicense.texi | 4 ++-- gpr-query.el | 56 ++++++++++++-------------------------------------------- gpr-query.prj | 1 - gpr-query.texi | 32 ++++++++++++++------------------ install.sh | 17 +++++++++++------ notes.text | 24 +++++++++--------------- prj-eglot.el | 41 ----------------------------------------- prj.el | 4 ++-- 15 files changed, 82 insertions(+), 173 deletions(-) create mode 100644 .gitignore mode change 100644 => 100755 build.sh mode change 100644 => 100755 install.sh delete mode 100644 prj-eglot.el