Merge pull request #1847 from nextcloud/enh/updater
authorMichael Schuster <48932272+misch7@users.noreply.github.com>
Tue, 10 Mar 2020 14:53:47 +0000 (15:53 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 14:53:47 +0000 (15:53 +0100)
commit78776f81e4e281010c3223715d9ce27ba7b4590f
tree57cdd2d78bb8392bcb5ba8d78c107ab973f8a7f8
parentf629e8320366974646d413cb21487b8de6bce011
parente833e86da689918ac61a1d77e01d5023eb1c8d0d
Merge pull request #1847 from nextcloud/enh/updater

Updater: Enhance UI, make build optional
src/gui/application.cpp