diff options
author | Stephan Bergmann <sbergman@redhat.com> | 2018-05-03 14:49:01 +0200 |
---|---|---|
committer | Stephan Bergmann <sbergman@redhat.com> | 2018-05-03 21:10:32 +0200 |
commit | 0d7baf34ea56d27775f417e07dd854ad3d2fc3b1 (patch) | |
tree | d0506f54c4f62019cfa08ecb36f139eca81f9618 /external | |
parent | 247dabcb0b92a62b233ec0237deac84e6675325c (diff) |
Remove unused --with-help=common
...see mail thread starting at
<https://lists.freedesktop.org/archives/libreoffice/2018-April/080050.html>
"Anybody using --with-help=common?". Instead, make configure fail for unknown
--with-help=... arguments.
Change-Id: I51b8b9087a88ff3a3681453cdc830aa7e499e8df
Reviewed-on: https://gerrit.libreoffice.org/53793
Tested-by: Jenkins <ci@libreoffice.org>
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Diffstat (limited to 'external')
0 files changed, 0 insertions, 0 deletions