diff options
| author | Michael Stahl <michael.stahl@allotropia.de> | 2021-01-21 14:26:01 +0100 |
|---|---|---|
| committer | Michael Stahl <michael.stahl@allotropia.de> | 2021-01-22 11:31:31 +0100 |
| commit | 2cca78f81e8acacb324a1ff1aa404ead1144549c (patch) | |
| tree | ec0eaabcda906b41544f19fd5a0b6f326ddafef8 /tools | |
| parent | 1c003228bdb3353539fea812eebf60cda9e5aec8 (diff) | |
postgresql: fix mistake in RepositoryExternal.mk
Apparently causes "ERROR: Source for postgresql.filelist not found!" on
non-WNT.
Change-Id: I79cf9074bc8e4948febe76fc963231c916a274cb
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/109760
Reviewed-by: Stephan Bergmann <sbergman@redhat.com>
Tested-by: Jenkins
(cherry picked from commit 5e6e87f1556e484c4d4be7e3b01ef668ab602f3c)
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/109745
Reviewed-by: Jean-Baptiste Faure <jbfaure@libreoffice.org>
Reviewed-by: Michael Stahl <michael.stahl@allotropia.de>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions