Merge branch 'ghini-1.0-dev' into ghini-1.0, as 1.0.82

Ghini · Apr 24, 2018 · 4078f97 · 4078f97
2 parents fa5bd59 + 74aac9b
commit 4078f97
Show file tree

Hide file tree

Showing 28 changed files with 1,164 additions and 1,984 deletions.
diff --git a/.bzrignore b/.bzrignore
diff --git a/.emacs-prj b/.emacs-prj