diff options
author | Noel <noelgrandin@gmail.com> | 2020-10-02 10:29:17 +0200 |
---|---|---|
committer | Noel Grandin <noel.grandin@collabora.co.uk> | 2020-10-02 13:08:30 +0200 |
commit | d9c763e5428379166b96a46295a1cb41120e6eea (patch) | |
tree | 3f25f3dc9f9935cd5f53b12a614dd219f1dbbe81 /extras | |
parent | 2bfcd0fa8439112c66fd82adc6f860b5d93f789b (diff) |
lint-ui: add some more valid top-level widgets
Change-Id: Ifedeb65c13b5889941da5dbd7fa215f5e380e64e
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/103819
Tested-by: Jenkins
Reviewed-by: Noel Grandin <noel.grandin@collabora.co.uk>
Diffstat (limited to 'extras')
0 files changed, 0 insertions, 0 deletions