Merge branch 'mjog/rename-devel-appname' into 'mainline'

Rename devel profile for consistency with other apps

See merge request GNOME/geary!317
This commit is contained in:
Michael Gratton 2019-09-27 23:34:10 +00:00
commit 509cfa86b4
3 changed files with 4 additions and 4 deletions

View file

@ -14,10 +14,10 @@ reference_tracking = get_option('ref_tracking')
# Build type
if get_option('profile') == 'development'
profile = 'Devel'
profile = '.Devel'
name_suffix = ' (Development)'
elif get_option('profile') == 'beta'
profile = 'Beta'
profile = '.Beta'
name_suffix = ' (Beta)'
else
profile = ''