[devdocsgjs/main: 681/1867] Add option to automatically download documentation (#886)

[Andy Holmes <andyholmes src gnome org>]

commit 0f9ff40cb8948352cb3e1a6efee5faff7a3223ed
Merge: 536003c5 8aa8ae10
Author: Jasper van Merle <jaspervmerle gmail com>
Date:   Sat Jul 20 03:03:59 2019 +0200

    Add option to automatically download documentation (#886)
    
    Add option to automatically download documentation

 assets/javascripts/app/app.coffee                       | 5 ++++-
 assets/javascripts/app/settings.coffee                  | 1 +
 assets/javascripts/models/doc.coffee                    | 4 +++-
 assets/javascripts/templates/pages/settings_tmpl.coffee | 4 ++++
 assets/javascripts/views/content/settings_page.coffee   | 1 +
 5 files changed, 13 insertions(+), 2 deletions(-)
---