diff options
| author | Jens Carl <j.carl43@gmx.de> | 2018-11-18 06:58:25 +0000 |
|---|---|---|
| committer | Jens Carl <j.carl43@gmx.de> | 2018-11-18 08:59:18 +0100 |
| commit | 986217f02de979b84c62843ae93db120e267abac (patch) | |
| tree | 5784b878da3e8ff83f01445f397cf1741a7c0e14 /shell/Package_senddoc.mk | |
| parent | cd52e2775773f3628177da4551d9f18e83740910 (diff) | |
Bin obsolete header
Change-Id: I0a9ffcb8e49f60882fa944fdbc69225286ac3d44
Reviewed-on: https://gerrit.libreoffice.org/63515
Tested-by: Jenkins
Reviewed-by: Jens Carl <j.carl43@gmx.de>
Diffstat (limited to 'shell/Package_senddoc.mk')
0 files changed, 0 insertions, 0 deletions