diff options
| author | Takeshi Abe <tabe@fixedpoint.jp> | 2017-04-14 12:19:04 +0900 |
|---|---|---|
| committer | Takeshi Abe <tabe@fixedpoint.jp> | 2017-04-14 06:20:15 +0200 |
| commit | 222cf76001d835961537214eba38037ef40a8aa0 (patch) | |
| tree | f947474d33c391b780877a1f0829cf487a512033 /cui | |
| parent | b7b159d79c2b4ec53915e0b9c3e28912c289a5ba (diff) | |
starmath: size() > 0 -> !empty()
Change-Id: Id7c73870f58ebf04c2703cdf8b3d0ffe258b2c0d
Reviewed-on: https://gerrit.libreoffice.org/36545
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Takeshi Abe <tabe@fixedpoint.jp>
Diffstat (limited to 'cui')
0 files changed, 0 insertions, 0 deletions