diff options
author | Jan-Marek Glogowski <jan-marek.glogowski@extern.cib.de> | 2019-10-01 14:18:50 +0000 |
---|---|---|
committer | Jan-Marek Glogowski <glogow@fbihome.de> | 2019-10-23 10:34:09 +0200 |
commit | adbaa625acc14e2b814cf5d88267889e6193145f (patch) | |
tree | a1d2e734f3ddcaf5589013763f19419d6e23bae1 /cui/source/inc/measure.hxx | |
parent | fbb93bc1597e7631e7241597b0b826a179dae5d4 (diff) |
tdf#127909 list all mozilla profiles
If there isn't an already selected profile, it'll select the
default one.
Change-Id: I66e39dbe1c3ce4d9436857c716d93e603582e3d1
Reviewed-on: https://gerrit.libreoffice.org/79978
Tested-by: Jenkins
Reviewed-by: Jan-Marek Glogowski <glogow@fbihome.de>
Diffstat (limited to 'cui/source/inc/measure.hxx')
0 files changed, 0 insertions, 0 deletions