diff options
author | Gabor Kelemen <kelemeng@ubuntu.com> | 2022-02-13 14:36:52 +0100 |
---|---|---|
committer | Miklos Vajna <vmiklos@collabora.com> | 2022-02-14 08:31:00 +0100 |
commit | 5382df1422832fb7a18a2a39ac52fb75ababff17 (patch) | |
tree | 463bd6a0d79f2f53ceac3552fa85773f75307b0e /slideshow | |
parent | 58ac3288b5a4a1f1f9b21fed4f4c1ab06dd43db9 (diff) |
find-unneeded-includes: rename argument to --continue
sounds more natural than --dontstop
Change-Id: I4650f8bf97a426782828f0e088805551c5830acc
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/129880
Tested-by: Jenkins
Reviewed-by: Miklos Vajna <vmiklos@collabora.com>
Diffstat (limited to 'slideshow')
0 files changed, 0 insertions, 0 deletions