stephen_leake pushed a change to branch externals/gpr-query.
from 6356b18639 * build.sh: Show compiler
new 5104f6f836 * prj.el ("gpr-query.prj"): Use elpa package dirs
new 99f50385ee * gpr-query.el (gpr-query-session-wait): Restore busy
message
new 3a8e67a795 Delete gpr-query minor mode; fix executable bit
new fd1670eded * install.sh: Just copy alr build binary, clean up
new ca70129df3 Finish merge
Summary of changes:
build.sh | 0
gpr-query.el | 40 ++++------------------------------------
install.sh | 17 +++++++++++------
prj.el | 4 ++--
4 files changed, 17 insertions(+), 44 deletions(-)
mode change 100644 => 100755 build.sh
mode change 100644 => 100755 install.sh
