Merge branch 'configuration_dialog' into 'develop'
authorRaphaël Jakse <raphael.gitlab@jakse.fr>
Tue, 11 Aug 2020 21:29:00 +0000 (21:29 +0000)
committerRaphaël Jakse <raphael.gitlab@jakse.fr>
Tue, 11 Aug 2020 21:29:00 +0000 (21:29 +0000)
Add a configuration dialog (issue #10)

See merge request raphj/trivabble!9


Trivial merge